tarfa: Tableaux and Resolution for Finite Abduction

DOI10.1007/11853886_49zbMATH Open1152.68534OpenAlexW2186890178MaRDI QIDQ3533155FDOQ3533155

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

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

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)