A generalization of collapsible cases of circumscription

DOI10.1016/0004-3702(89)90070-2zbMath0664.03022OpenAlexW2049617814MaRDI QIDQ1115424

Arkady Rabinov

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90070-2

zbMATH Keywords

nonmonotonic logicnonmonotonic reasoningcircumscriptioncommon-sense reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Artificial intelligence (68T99)

Related Items

On compact representations of propositional circumscription, An extension of pointwise circumscription, Circumscription: Completeness reviewed

Cites Work

• Circumscription - a form of non-monotonic reasoning
• Unnamed Item