Note about cardinality-based circumscription

DOI10.1016/S0004-3702(00)00018-7zbMath0945.68159MaRDI QIDQ1575190

Yves Moinard

Publication date: 21 August 2000

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

zbMATH Keywords

belief revisionknowledge representationnonmonotonic reasoningcircumscriptioncommon sense reasoningpreferential entailment

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Compiling propositional weighted bases ⋮ Qualitative choice logic

Cites Work

• Unnamed Item
• Unnamed Item
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Completeness results for circumscription
• Eliminating the fixed predicates from a circumscription
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• An efficient method for eliminating varying predicates from a circumscription
• What does a conditional knowledge base entail?
• The expressive power of circumscription
• Reducing belief revision to circumscription (and vice versa)
• LWBtheory: Information about some propositional logics via the WWW

This page was built for publication: Note about cardinality-based circumscription