Abstract minimality and circumscription

DOI10.1016/0004-3702(92)90050-8MaRDI QIDQ1193477zbMATH OpenOpenAlexFDO

Authors Bertrand I-peng Lin, Churn-Jung Liau

Publication date 27 September 1992

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://ntur.lib.ntu.edu.tw/bitstream/246246/155688/1/03.pdf

zbMATH Keywords

generalization of circumscriptionminimality criteria

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Recommendations

• Circumscription: Completeness reviewed
• scientific article; zbMATH DE number 4106292
• An extension of pointwise circumscription
• A theorem on the consistency of circumscription
• Value minimization in circumscription

Cites work

• scientific article; zbMATH DE number 3632418 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 4114596 (Why is no real title available?)
• scientific article; zbMATH DE number 4119669 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• A theorem on the consistency of circumscription
• Circumscription - a form of non-monotonic reasoning
• Circumscription with homomorphisms
• Model theory
• On the satisfiability of circumscription
• The importance of open and recursive circumscription
• The mathematics of non-monotonic reasoning

Cited in

(6)

• Circumscription: Completeness reviewed
• Minimalism and paradoxes
• scientific article; zbMATH DE number 5288074 (Why is no real title available?)
• scientific article; zbMATH DE number 2086962 (Why is no real title available?)
• An extension of pointwise circumscription
• scientific article; zbMATH DE number 1689583 (Why is no real title available?)

This page was built for publication: Abstract minimality and circumscription

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