Complexity and Expressive Power of Logic Programming (1997)

by Evgeny Dantsin , Thomas Eiter , Georg Gottlob , Andrei Voronkov
Citations:279 - 56 self

Documents Related by Co-Citation

2345 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
847 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
1526 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
844 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
204 A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web – Thomas Lukasiewicz - 2004
224 Query Answering for OWL-DL with Rules – Boris Motik, Ulrike Sattler, Rudi Studer - 2004
74 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006
765 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
448 Optimal implementation of conjunctive queries in relational data bases – A Chandra, P Merlin - 1977
299 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
1492 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
132 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
320 The DLV System for Knowledge Representation and Reasoning – Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - 2002
64 Nonmonotonic Databases and Epistemic Queries – V Lifschitz - 1991
120 TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web – M Sintek, S Decker - 2002
44 XSB: A System for Efficiently Computing Well-Founded Semantics – Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Warren, Juliana Freire - 1997
66 A Faithful Integration of Description Logics with Logic Programming – Boris Motik, Riccardo Rosati
400 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003