|
8
|
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
– Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
- 2002
|
|
4
|
Expressing Default Abduction Problems as Quantified Boolean Formulas
– Hans Tompits
- 2002
|
|
5
|
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results
– Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
- 2001
|
|
264
|
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
– Ilkka Niemelä
|
|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
34
|
Computing With Default Logic
– Pawel Cholewinski, Victor W. Marek, Artur Mikitiuk, Miros/law Truszczynski
- 1999
|
|
55
|
Representing Knowledge in A-Prolog
– Michael Gelfond
|
|
25
|
Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics
– Patrik Simons
- 1997
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
17
|
Semantics and Complexity of Abduction from Default Theories
– Thomas Eiter, Georg Gottlob, Nicola Leone
- 1997
|
|
68
|
Stationary Semantics for Normal and Disjunctive Logic Programs
– Teodor Przymusinski
- 1991
|
|
20
|
Stationary Default Extensions
– Halina Przymusinska, Teodor Prymusinski
- 1992
|
|
6
|
On computing belief change operations using quantified boolean formulas
– James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
- 2004
|
|
197
|
Stable models and an alternative logic programming paradigm
– Victor W. Marek
- 1999
|
|
3
|
On the Complexity of Theory Curbing
– Thomas Eiter, Georg Gottlob
- 2000
|
|
63
|
Default Reasoning System DeReS
– Pawel Cholewinski, Victor W. Marek
- 1996
|
|
3
|
On Updates of Logic Programs: Semantics and Properties
– Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
- 2001
|
|
|
Nonmonotonic Reasoning - Computational Perspective
– Victor W. Marek, Miroslaw Truszczy'nski
- 1997
|
|
|
Automated Reasoning With Nonmonotonic Logics
– Miroslaw Truszczynski
|
