|
689
|
Classical Negation in Logic Programs and Disjunctive Databases
– Michael Gelfond, Vladimir Lifschitz
- 1991
|
|
1950
|
Monotone Complexity
– Michelangelo Grigni , Michael Sipser
- 1990
|
|
1267
|
Foundations of Databases
– S Abiteboul, R Hull, V Vianu
- 1995
|
|
743
|
The Well-Founded Semantics for General Logic Programs
– Kenneth A. Ross
- 1991
|
|
382
|
Optimal Implementation of Conjunctive Queries in Relational Databases
– A K Chandra, P M Merlin
|
|
307
|
A catalog of complexity classes
– David S Johnson
- 1990
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
1263
|
The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
- 1988
|
|
156
|
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
– Thomas Lukasiewicz
- 2004
|
|
115
|
Complexity Results and Practical Algorithms for Logics in Knowledge Representation
– Stephan Tobies
- 2001
|
|
63
|
DL+log: Tight integration of description logics and disjunctive datalog
– Riccardo Rosati
- 2006
|
|
188
|
Query Answering for OWL-DL with Rules
– Boris Motik, Ulrike Sattler, Rudi Studer
- 2004
|
|
234
|
The DLV System for Knowledge Representation and Reasoning
– Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
- 2002
|
|
39
|
XSB: A System for Efficiently Computing Well-Founded Semantics
– Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Warren, Juliana Freire
- 1997
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
485
|
The Complexity of Relational Query Languages
– M Vardi
- 1982
|
|
239
|
Reasoning about actions using a possible models approach
– Marianne Winslett
- 1988
|
|
95
|
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
– Thomas Eiter, Georg Gottlob
- 1995
|
|
102
|
The KR System dlv: Progress Report, Comparisons and Benchmarks
– Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
- 1998
|
