scientific article; zbMATH DE number 970723

zbMATH Open0862.68019MaRDI QIDQ5688908FDOQ5688908

Authors: Marc Denecker, Danny De Schreye 

Publication date: 25 May 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

abductionmodel generationdefinite abductive programs

Mathematics Subject Classification ID

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

Cited In (3)

• Efficient model generation through compilation.
• Logical form generation as abduction: Part II. A dual-route parsimonious covering approach
• 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)