scientific article; zbMATH DE number 970723

MaRDI QIDQ5688908zbMATH OpenFDO

Authors Marc Denecker, Danny De Schreye

Publication date 25 May 1997

zbMATH Keywords

abductionmodel generationdefinite abductive programs

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• On the duality of abduction and model generation in a framework for model generation with equality
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• On the Relationship Between Abduction and Deduction
• Abduction from logic programs: Semantics and complexity

Cited in

(3)

• Logical form generation as abduction: Part II. A dual-route parsimonious covering approach
• Efficient model generation through compilation.
• Model-Baded Abduction via Dual Resolution

This page was built for publication:

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