Complexity and Expressive Power of Logic Programming (1997)

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

Active Bibliography

15 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
4 Rule-Based Languages – Victor Vianu - 1997
6 Databases and Finite-Model Theory – Victor Vianu - 1997
1 Complexity and Expressive Power of Logic Programming – Abtg Wissensbasierte Systeme, Georg Gottlob, Thomas Eiter, Andrei Voronkov, Evgeny Dantsin, Evgeny Dantsin - 1999
208 Disjunctive Datalog – Thomas Eiter, Georg Gottlob, Heikki Mannila - 1997
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
86 The expressive powers of logic programming semantics – John S. Schlipf - 1995
23 Constraint Databases: A Survey – Peter Z. Revesz - 1998
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
7 The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order – Ronald van der Meyden, L. T. Mccarty - 1992
18 Deductive Database Languages: Problems and Solutions – Mengchi Liu - 1999
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
30 Fixed-parameter tractability, definability, and model checking – Jörg Flum, Martin Groheý - 2001
7 On the unusual effectiveness of Logic in computer science – Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis
6 Existential Second-Order Logic over Strings – Thomas Eiter, Georg Gottlob, Yuri Gurevich - 1998
Expressiveness and Complexity of Concurrent Constraint Programming: a Finite Model Theoretic Approach – François Fages, Sylvain Soliman, Victor Vianu
3 Model Expansion as a Framework for Modelling and Solving Search Problems – David Mitchell, Eugenia Ternovska, Faraz Hach, Raheleh Mohebali
17 Complexity of Nonrecursive Logic Programs with Complex Values – Sergei Vorobyov, Andrei Voronkov - 1998
73 A Web Odyssey: from Codd to XML – Victor Vianu - 2001