The importance of open and recursive circumscription

DOI10.1016/0004-3702(89)90029-5zbMath0667.03013OpenAlexW2039438726MaRDI QIDQ1117210

Robert E. Mercer, Yves Moinard, Philippe Besnard

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)90029-5

zbMATH Keywords

consistencycompletenesssoundnesscircumscription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Other classical first-order model theory (03C68)

Related Items (1)

Abstract minimality and circumscription

Cites Work

• Unnamed Item
• A theorem on the consistency of circumscription
• Saturation, nonmonotonic reasoning and the closed-world assumption
• On the satisfiability of circumscription
• Completeness results for circumscription
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning
• Circumscription and implicit definability
• Logic and structure.

This page was built for publication: The importance of open and recursive circumscription