Tableaux for structural abduction

DOI10.1093/JIGPAL/JZQ054MaRDI QIDQ2909833zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 6 September 2012

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

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

zbMATH Keywords

abductive modal tableauxchanges of logicinfinite branchesrules for accesibility relationsstructural abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 834571
• scientific article; zbMATH DE number 1267561
• tarfa: Tableaux and Resolution for Finite Abduction
• Abduction via \(C\)-tableaux and \(\delta\)-resolution
• A modal framework for modelling abductive reasoning

Cited in

(6)

• A modal framework for modelling abductive reasoning
• tarfa: Tableaux and Resolution for Finite Abduction
• Abduction via \(C\)-tableaux and \(\delta\)-resolution
• scientific article; zbMATH DE number 834571 (Why is no real title available?)
• Abduction as deductive saturation: a proof-theoretic inquiry
• Dual tableaux. Foundations, methodology, case studies

This page was built for publication: Tableaux for structural abduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909833)