|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
25
|
Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics
– Patrik Simons
- 1997
|
|
33
|
Logic programming revisited: logic programs as inductive definitions
– Marc Denecker, Maurice Bruynooghe, Victor Marek
- 2001
|
|
65
|
Reasoning Agents In Dynamic Domains
– Chitta Baral, Michael Gelfond
- 2000
|
|
11
|
Disjunctive Logic Programming: A Survey And Assessment
– Jack Minker, Dietmar Seipel
- 2002
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
26
|
Abduction from Logic Programs: Semantics and Complexity
– Thomas Eiter, Georg Gottlob, Nicola Leone
- 1998
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
10
|
Efficient Implementation of the Stable Model Semantics for Normal Logic Programs
– Patrik Simons
- 1995
|
|
264
|
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
– Ilkka Niemelä
|
|
55
|
Representing Knowledge in A-Prolog
– Michael Gelfond
|
|
464
|
Abduction in Logic Programming
– Marc Denecker, Antonis Kakas
|
|
95
|
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
– Thomas Eiter, Georg Gottlob
- 1995
|
|
168
|
Disjunctive Datalog
– Thomas Eiter, Georg Gottlob, Heikki Mannila
- 1997
|
|
59
|
Declarative Problem-Solving Using the DLV System
– Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
|
|
|
Exploring the Behaviour of Feature Interaction via Stable Models
– Rafael Accorsi
- 1999
|
|
11
|
Foundations of rule-based query answering
– François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
- 2007
|
|
13
|
The Second Answer Set Programming Competition
– Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser
|
