Circumscription: Completeness reviewed

DOI10.1016/0004-3702(93)90005-VMaRDI QIDQ685339zbMATHOpenAlexFDO

Authors Manfred Jaeger

Publication date 17 October 1993

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(93)90005-v

zbMATH Keywords

reducibilityminimalitycircumscription

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Decidability and definability with circumscription
• Abstract minimality and circumscription
• scientific article; zbMATH DE number 67498
• A theorem on the consistency of circumscription
• On the computability of circumscription

Cites work

• scientific article; zbMATH DE number 194964 (Why is no real title available?)
• A generalization of collapsible cases of circumscription
• Circumscription - a form of non-monotonic reasoning
• Completeness results for circumscription
• On the satisfiability of circumscription
• The mathematics of non-monotonic reasoning

Cited in

(9)

• An extension of pointwise circumscription
• Abstract minimality and circumscription
• scientific article; zbMATH DE number 67498 (Why is no real title available?)
• scientific article; zbMATH DE number 2084387 (Why is no real title available?)
• On the computability of circumscription
• The importance of open and recursive circumscription
• A note on the least informative model of a theory
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• A theorem on the consistency of circumscription

This page was built for publication: Circumscription: Completeness reviewed

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