tarfa: Tableaux and Resolution for Finite Abduction

DOI10.1007/11853886_49MaRDI QIDQ3533155zbMATH OpenOpenAlexFDO

Authors Fernando Soler-Toscano, Ángel Nepomuceno-Fernández

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_49

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Towards Abductive Reasoning in First-order Logic
• Abduction via \(C\)-tableaux and \(\delta\)-resolution
• Tableaux for structural abduction
• First order abduction via tableau and sequent calculi
• Abduction in well-founded semantics and generalized stable models via tabled dual programs

Cited in

(5)

• Tableaux for structural abduction
• Towards Abductive Reasoning in First-order Logic
• Abduction via \(C\)-tableaux and \(\delta\)-resolution
• First order abduction via tableau and sequent calculi
• Automated Reasoning

This page was built for publication: tarfa: Tableaux and Resolution for Finite Abduction

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