Results 1 
4 of
4
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
, 1995
"... This paper addresses complexity issues for important problems arising with disjunctive logic programming. In particular, the complexity of deciding whether a disjunctive logic program is consistent is investigated for a variety of wellknown semantics, as well as the complexity of deciding whethe ..."
Abstract

Cited by 114 (26 self)
 Add to MetaCart
This paper addresses complexity issues for important problems arising with disjunctive logic programming. In particular, the complexity of deciding whether a disjunctive logic program is consistent is investigated for a variety of wellknown semantics, as well as the complexity of deciding whether a propositional formula is satised by all models according to a given semantics. We concentrate on nite propositional disjunctive programs with as wells as without integrity constraints, i.e., clauses with empty heads; the problems are located in appropriate slots of the polynomial hierarchy. In particular, we show that the consistency check is P 2 complete for the disjunctive stable model semantics (in the total as well as partial version), the iterated closed world assumption, and the perfect model semantics, and we show that the inference problem for these semantics is P 2 complete; analogous results are derived for the an
Propositional Circumscription and Extended Closed World Reasoning are $\Pi^P_2$complete
 Theoretical Computer Science
, 1993
"... Circumscription and the closed world assumption with its variants are wellknown nonmonotonic techniques for reasoning with incomplete knowledge. Their complexity in the propositional case has been studied in detail for fragments of propositional logic. One open problem is whether the deduction prob ..."
Abstract

Cited by 99 (22 self)
 Add to MetaCart
Circumscription and the closed world assumption with its variants are wellknown nonmonotonic techniques for reasoning with incomplete knowledge. Their complexity in the propositional case has been studied in detail for fragments of propositional logic. One open problem is whether the deduction problem for arbitrary propositional theories under the extended closed world assumption or under circumscription is $\Pi^P_2$complete, i.e., complete for a class of the second level of the polynomial hierarchy. We answer this question by proving these problems $\Pi^P_2$complete, and we show how this result applies to other variants of closed world reasoning.
The Complexity of Model Checking for Circumscriptive Formulae
 Information Processing Letters
, 1992
"... this paper we carry out a detailed analysis of the computational complexity of model checking for propositional circumscriptive formulae. Following Schaefer's approach [6], we classify propositional formulae according to the logical relations which are used to represent them. Using the results repo ..."
Abstract

Cited by 52 (5 self)
 Add to MetaCart
this paper we carry out a detailed analysis of the computational complexity of model checking for propositional circumscriptive formulae. Following Schaefer's approach [6], we classify propositional formulae according to the logical relations which are used to represent them. Using the results reported in that paper we prove polynomial as well as coNPhardness results, thus providing a detailed picture of the tractability threshold of the problem. In particular we answer negatively to Kolaitis and Papadimitriou's question, showing that the model checking problem is coNPcomplete for a subclass of the propositional formulae. The structure of the paper is as follows: In Section 2 we recall the basic notions on circumscription and formally define our problem, and in Section 3 we present the results of the complexity analysis. 2 Preliminaries
An Overview of Nonmonotonic Reasoning and Logic Programming
 Journal of Logic Programming, Special Issue
, 1993
"... The focus of this paper is nonmonotonic reasoning as it relates to logic programming. I discuss the prehistory of nonmonotonic reasoning starting from approximately 1958. I then review the research that has been accomplished in the areas of circumscription, default theory, modal theories and logic ..."
Abstract

Cited by 27 (2 self)
 Add to MetaCart
The focus of this paper is nonmonotonic reasoning as it relates to logic programming. I discuss the prehistory of nonmonotonic reasoning starting from approximately 1958. I then review the research that has been accomplished in the areas of circumscription, default theory, modal theories and logic programming. The overview includes the major results developed including complexity results that are known about the various theories. I then provide a summary which includes an assessment of the field and what must be done to further research in nonmonotonic reasoning and logic programming. 1 Introduction Classical logic has played a major role in computer science. It has been an important tool both for the development of architecture and of software. Logicians have contended that reasoning, as performed by humans, is also amenable to analysis using classical logic. However, workers in the field of artificial 1 This paper is an updated version of an invited Banquet Address, First Interna...