Propositional Circumscription and Extended Closed World Reasoning are $\Pi^P_2$-complete (1993)

Cached

Download Links

by Thomas Eiter , Georg Gottlob
Venue:Theoretical Computer Science
Citations:99 - 22 self

Active Bibliography

114 On the Computational Cost of Disjunctive Logic Programming: Propositional Case – Thomas Eiter, Georg Gottlob - 1995
186 On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals – Thomas Eiter, Georg Gottlob - 1992
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
27 Complexity Aspects of Various Semantics for Disjunctive Databases – Thomas Eiter, Georg Gottlob - 1993
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
31 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
15 Autoepistemic Logic of Knowledge and Beliefs – Teodor C Przymusinski - 1998
16 An Efficient Method for Eliminating Varying Predicates from a Circumscription – Marco Cadoli, Thomas Eiter, Georg Gottlob - 1992
42 Is Intractability of Non-Monotonic Reasoning a Real Drawback? – Marco Cadoli, Francesco M. Donini, Marco Schaerf - 1996
10 On the Relationship Between CWA, Minimal Model and Minimal Herbrand Model Semantics – Michael Gelfond, Halina Przymusinska, Teodor Przymusinski - 1995
5 Non-monotonic Reasoning vs. Logic Programming: A New Perspective – Teodor C. Przymusinski - 1987
6 Complexity of the exact domatic number problem and of the exact conveyor flow shop problem – Tobias Riege, Jörg Rothe
9 Raising NP Lower Bounds to Parallel NP Lower Bounds – Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe - 1997
163 The Complexity of Logic-Based Abduction – Thomas Eiter, Georg Gottlob - 1993
27 NP-hard Sets are P-Superterse Unless R = NP – Richard Beigel - 1992
71 Stationary Semantics for Normal and Disjunctive Logic Programs – Teodor Przymusinski - 1991
1 Belief Revision in Non-Monotonic Reasoning – Jos'e Alferes, Dm U, Lu'is Moniz Pereira, Teodor C. Przymusinski - 1995