|
118
|
An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation
– Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi
- 1999
|
|
122
|
Constructing Conditional Plans by a Theorem-Prover
– Jussi Rintanen
- 1999
|
|
45
|
A Distributed Algorithm to Evaluate Quantified Boolean Formulae
– Rainer Feldmann, Burkhard Monien, Stefan Schamberger
- 2000
|
|
19
|
A.: Resolution for Quantified Boolean Formulas
– H Kleine-Büning, M Karpinski, Flögel
- 1995
|
|
61
|
Resolution for quantified boolean formulas
– H Kleine-Bning, M Karpinski, A Flgel
- 1995
|
|
39
|
Beyond NP: the QSAT phase transition
– Ian P. Gent, Toby Walsh
- 1999
|
|
68
|
Improvements to the evaluation of quantified Boolean formulae
– Jussi Rintanen
- 1999
|
|
53
|
QUBE: A system for deciding quantified boolean formulas satisfiability
– Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
- 2001
|
|
1950
|
Monotone Complexity
– Michelangelo Grigni , Michael Sipser
- 1990
|
|
56
|
Backjumping for Quantified Boolean Logic Satisfiability
– Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
- 2001
|
|
1263
|
The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
- 1988
|
|
1247
|
A logic for default reasoning
– R Reiter
- 1980
|
|
226
|
Smodels - an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs
– Ilkka Niemelä, Patrik Simons
- 1997
|
|
240
|
Complexity and Expressive Power of Logic Programming
– Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
- 1997
|
|
102
|
The KR System dlv: Progress Report, Comparisons and Benchmarks
– Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
- 1998
|
|
570
|
On the logic of theory change: Partial meet contraction and revision functions
– C E Alchourron, P Gärdenfors, D Makinson
- 1985
|
|
14
|
dcs: An Implementation of DATALOG with Constraints
– Deborah East, Miroslaw Truszczynski
- 2000
|
|
168
|
Disjunctive Datalog
– Thomas Eiter, Georg Gottlob, Heikki Mannila
- 1997
|
|
88
|
A Deductive System for Non-Monotonic Reasoning
– Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
- 1997
|
