Note about cardinality-based circumscription

DOI10.1016/S0004-3702(00)00018-7MaRDI QIDQ1575190zbMATH OpenFDO

Authors Yves Moinard

Publication date 21 August 2000

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

belief revisionnonmonotonic reasoningknowledge representationcircumscriptioncommon sense reasoningpreferential entailment

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1023024
• scientific article; zbMATH DE number 4174359
• The expressive power of circumscription
• Decidability and definability with circumscription

Cites work

• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1761408 (Why is no real title available?)
• An efficient method for eliminating varying predicates from a circumscription
• Circumscription - a form of non-monotonic reasoning
• Completeness results for circumscription
• Eliminating the fixed predicates from a circumscription
• LWBtheory: Information about some propositional logics via the WWW
• Nonmonotonic reasoning, preferential models and cumulative logics
• Reducing belief revision to circumscription (and vice versa)
• Saturation, nonmonotonic reasoning and the closed-world assumption
• The expressive power of circumscription
• What does a conditional knowledge base entail?

Cited in

(3)

• Qualitative choice logic
• Reasoning about action and change
• Compiling propositional weighted bases

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

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