The expressive power of circumscription

DOI10.1016/S0004-3702(98)00050-2zbMath0917.68203MaRDI QIDQ1274695

Tom Costello

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoningexpressive powercircumscriptionexpressiveness of circumscription

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Note about cardinality-based circumscription

Cites Work

• An approach to default reasoning based on a first-order conditional logic: Revised report
• Eliminating the fixed predicates from a circumscription
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Elementary induction on abstract structures
• Nonmonotonic inference based on expectations
• Nested abnormality theories
• State Constraints Revisited
• Circumscription with homomorphisms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive power of circumscription