Complexity and Expressive Power of Logic Programming (1997)

by Evgeny Dantsin , Thomas Eiter , Georg Gottlob , Andrei Voronkov
Citations:280 - 57 self

Documents Related by Co-Citation

2350 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
850 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
73 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006
763 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
450 Optimal implementation of conjunctive queries in relational databases – A K Chandra, P M Merlin - 1977
298 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
131 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
119 Triple — a query, inference, and transformation language for the semantic web – M Sintek, S Decker
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
397 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003