A new default theories compilation for MSP-entailment

DOI10.1007/S10817-009-9150-9zbMATH Open1205.68416OpenAlexW1986349144MaRDI QIDQ989883FDOQ989883

Safa Yahi, H. 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

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

zbMATH Keywords

knowledge compilationdefault theoriesMSP entailment

Mathematics Subject Classification ID

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

Cites Work

• Fuzzy sets as a basis for a theory of possibility
• Title not available (Why is that?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Title not available (Why is that?)
• What does a conditional knowledge base entail?
• On the specificity of a possibility distribution
• Title not available (Why is that?)
• Using OBDDs to handle dynamic constraints
• A logic for default reasoning
• Decomposable negation normal form
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• Another perspective on default reasoning
• Title not available (Why is that?)
• Possibilistic logic: Complexity and algorithms
• Alternative foundations for Reiter's default logic
• Title not available (Why is that?)

Cited In (2)

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

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)