Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

by Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran
Citations:70 - 19 self

Active Bibliography

QUIP—A Tool for Computing Nonmonotonic Reasoning Tasks ∗ – Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran, Technische Universität Wien - 2000
328 Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm – Ilkka Niemelä
9 Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks – Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran - 2002
314 Extending and Implementing the Stable Model Semantics – Patrik Simons, Ilkka Niemelä, Timo Soininen - 2002
544 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
538 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
487 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986