Abstract minimality and circumscription

DOI10.1016/0004-3702(92)90050-8zbMath0762.03014OpenAlexW2012042646MaRDI QIDQ1193477

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theorem on the consistency of circumscription
• On the satisfiability of circumscription
• The importance of open and recursive circumscription
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning
• Model theory
• Circumscription with homomorphisms