A new default theories compilation for MSP-entailment

DOI10.1007/S10817-009-9150-9MaRDI QIDQ989883zbMATH OpenOpenAlexFDO

Authors Salem Benferhat, Safa Yahi, H. Drias

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)

Recommendations

• Conditional entailment: bridging two approaches to default reasoning.
• Default reasoning using classical logic
• Compiling specificity into approaches to nonmonotonic reasoning
• Publication:4934647
• Dealing Automatically with Exceptions by Introducing Specificity in ASP

Cites work

• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 1269566 (Why is no real title available?)
• scientific article; zbMATH DE number 1301757 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 1844471 (Why is no real title available?)
• A logic for default reasoning
• Alternative foundations for Reiter's default logic
• Another perspective on default reasoning
• Circumscription - a form of non-monotonic reasoning
• Decomposable negation normal form
• Fuzzy sets as a basis for a theory of possibility
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the specificity of a possibility distribution
• Possibilistic logic: Complexity and algorithms
• Using OBDDs to handle dynamic constraints
• What does a conditional knowledge base entail?

Cited in

(2)

• Dealing Automatically with Exceptions by Introducing Specificity in ASP
• Reasoning and learning in the setting of possibility theory -- overview and perspectives

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

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