Tableaux for structural abduction

DOI10.1093/JIGPAL/JZQ054zbMath1246.68212DBLPjournals/igpl/Nepomuceno-FernandezSD12OpenAlexW2011473085WikidataQ58883304 ScholiaQ58883304MaRDI QIDQ2909833

Francisco J. Salguero-Lamillar, David Fernández-Duque, Ángel Nepomuceno-Fernández

Publication date: 6 September 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq054

zbMATH Keywords

infinite branchesabductive modal tableauxchanges of logicrules for accesibility relationsstructural abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Abduction as deductive saturation: a proof-theoretic inquiry

This page was built for publication: Tableaux for structural abduction