Structural Complexity and Recursion-theoretic methods in Logic-Programming

Keyphrases

Publications

1992

Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992 Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Andrei Voronkov
On Computability by Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Audrey Ferry
A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Thomas Eiter, Georg Gottlob
Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Yael Moscowitz, Ehud Shapiro
On the Structural Simplicity of Machines and Languages. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Jürgen Dix, Martin Müller
Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Halting Problem of One Binary Horn Clause id Undecidable. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Inderpal Singh Mumick, Oded Shmueli
Aggregation, Computability, and Complete Query Languages. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
Complexity of Computing with Extended Propositional Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
John S. Schlipf
A Survey of Complexity and Undecidability Results in Logic Programming. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)