An extension of pointwise circumscription

DOI10.1016/S0004-3702(96)00028-8zbMath1506.68140MaRDI QIDQ2676573

Kazuhiko Oota, Koji Iwanuma

Publication date: 27 September 2022

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

zbMATH Keywords

approximationcomputationcircumscriptionequivalent transformationpointwise circumscriptionexistential formulas

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Reconsideration of circumscriptive induction with pointwise circumscription

Cites Work

• Circumscription: Completeness reviewed
• On the satisfiability of circumscription
• Completeness results for circumscription
• An algorithm to compute circumscription
• A generalization of collapsible cases of circumscription
• A circumscriptive theorem prover
• Circumscription - a form of non-monotonic reasoning
• An efficient method for eliminating varying predicates from a circumscription
• Some computational aspects of circumscription
• Conservative query normalization on parallel circumscription
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item