A new default theories compilation for MSP-entailment

DOI10.1007/S10817-009-9150-9zbMath1205.68416OpenAlexW1986349144MaRDI QIDQ989883

Safa Yahi, Habiba Drias, Salem Benferhat

Publication date: 23 August 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9150-9

zbMATH Keywords

knowledge compilationdefault theoriesMSP entailment

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Using OBDDs to handle dynamic constraints
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Fuzzy sets as a basis for a theory of possibility
• On the specificity of a possibility distribution
• Alternative foundations for Reiter's default logic
• Another perspective on default reasoning
• Decomposable negation normal form
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new default theories compilation for MSP-entailment