Sciweavers

Share
ECAI
1998
Springer

The Complexity of Model Checking for Propositional Default Logics

8 years 8 months ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional interpretation is a model of a default theory for some of the variants of default logic presented in the literature. We prove that all the analyzed variants have the same complexity and that this problem is in general p 2 complete, while it is coNP complete under some restrictions on the form of the defaults.
Paolo Liberatore, Marco Schaerf
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ECAI
Authors Paolo Liberatore, Marco Schaerf
Comments (0)
books