The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Logic Programming (iclp)
1992 (conf/iclp/92-w1)

  1. Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
    Halting Problem of One Binary Horn Clause id Undecidable. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:5-14 [Conf]
  2. Jürgen Dix, Martin Müller
    Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:15-28 [Conf]
  3. Thomas Eiter, Georg Gottlob
    Complexity Results for Logic-Based Abduction. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:29-44 [Conf]
  4. Audrey Ferry
    A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:45-68 [Conf]
  5. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Rule Systems and Well-Orderings. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:69-92 [Conf]
  6. V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
    Complexity of Computing with Extended Propositional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:93-102 [Conf]
  7. Yael Moscowitz, Ehud Y. Shapiro
    On the Structural Simplicity of Machines and Languages. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:103-120 [Conf]
  8. Inderpal Singh Mumick, Oded Shmueli
    Aggregation, Computability, and Complete Query Languages. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:121-142 [Conf]
  9. John S. Schlipf
    A Survey of Complexity and Undecidability Results in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:143-164 [Conf]
  10. Andrei Voronkov
    On Computability by Logic Programs. [Citation Graph (0, 0)][DBLP]
    Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:165-0 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002