A new default theories compilation for MSP-entailment
type: Item
instance of: scholarly article
title: A new default theories compilation for MSP-entailment
zbMATH Open document ID: 1205.68416
author: Salem Benferhat
author: Safa Yahi
author: H. Drias
published in: Journal of Automated Reasoning
publication date: 2010-08-23T00:00:00Z
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 5774201
zbMATH Keywords: default theories
zbMATH Keywords: MSP entailment
zbMATH Keywords: knowledge compilation
MaRDI profile type: Publication
full work available at URL: s10817-009-9150-9
OpenAlex ID: W1986349144
cites work: Using OBDDs to handle dynamic constraints
cites work: Decomposable negation normal form
cites work: Q4784837
cites work: Q4411139
cites work: Q4039980
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Possibilistic logic: Complexity and algorithms
cites work: Another perspective on default reasoning
cites work: What does a conditional knowledge base entail?
cites work: Q4246972
cites work: Alternative foundations for Reiter's default logic
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q4236365
cites work: Q4298260
cites work: A logic for default reasoning
cites work: On the specificity of a possibility distribution
cites work: Fuzzy sets as a basis for a theory of possibility
DOI: 10.1007/S10817-009-9150-9
description: scientific article; zbMATH DE number 5774201