Circumscription: Completeness reviewed

DOI10.1016/0004-3702(93)90005-VzbMath0781.68100OpenAlexW1586773105MaRDI QIDQ685339

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)

Related Items

An extension of pointwise circumscription

Cites Work

• On the satisfiability of circumscription
• Completeness results for circumscription
• A generalization of collapsible cases of circumscription
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning
• Unnamed Item