Model-Baded Abduction via Dual Resolution

DOI10.1093/JIGPAL/JZK020MaRDI QIDQ3411856zbMATH OpenOpenAlexFDO

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

Publication date 30 November 2006

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

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

zbMATH Keywords

resolutionabductiontableauxlogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 970723
• On the duality of abduction and model generation in a framework for model generation with equality
• A modal framework for modelling abductive reasoning
• scientific article; zbMATH DE number 1303444
• scientific article; zbMATH DE number 7633799
• Resolution-based methods for modal logics
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• Between sentential and model-based abductions: a dialogical approach
• Model reconciliation in logic programs
• Abduction in well-founded semantics and generalized stable models via tabled dual programs

Cited in

(2)

• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
• Abduction via \(C\)-tableaux and \(\delta\)-resolution

This page was built for publication: Model-Baded Abduction via Dual Resolution

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