An extension of pointwise circumscription

DOI10.1016/S0004-3702(96)00028-8MaRDI QIDQ2676573zbMATH OpenFDO

Authors Koji Iwanuma, Kazuhiko Oota

Publication date 27 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(96)00028-8

zbMATH Keywords

approximationcircumscriptioncomputationequivalent transformationexistential formulaspointwise circumscription

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Some computational aspects of circumscription
• Circumscription: Completeness reviewed
• A theorem on the consistency of circumscription
• Abstract minimality and circumscription
• The expressive power of circumscription

Cites work

• A circumscriptive theorem prover
• A generalization of collapsible cases of circumscription
• An algorithm to compute circumscription
• An efficient method for eliminating varying predicates from a circumscription
• Circumscription - a form of non-monotonic reasoning
• Circumscription: Completeness reviewed
• Completeness results for circumscription
• Conservative query normalization on parallel circumscription
• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 67498 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 194964 (Why is no real title available?)
• On the satisfiability of circumscription
• Some computational aspects of circumscription

Cited in

(5)

• A generalization of collapsible cases of circumscription
• Abstract minimality and circumscription
• Pointwise extensions of GSOS-defined operations
• Extending the reach of the point-to-set principle
• Reconsideration of circumscriptive induction with pointwise circumscription

This page was built for publication: An extension of pointwise circumscription

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