The SCEAS System
Navigation Menu

Conferences in DBLP

Extensions of Logic Programming (ELP) (elp)
1993 (conf/elp/1993)

  1. Roy Dyckhoff
    Introduction to ELP'93. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:1-2 [Conf]
  2. Salvador Abreu, Luís Moniz Pereira
    Design for AKL with Intelligent Pruning. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:3-10 [Conf]
  3. José Júlio Alferes, Luís Moniz Pereira
    Contradiction: When Avoidance Equals Removal - Part I. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:11-23 [Conf]
  4. Beatrice Amrhein
    Birkhoff's HSP-Theorem for Cumulative Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:24-36 [Conf]
  5. Harold Boley
    Finite Domains and Exclusions as First-Class Citizens. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:37-61 [Conf]
  6. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:62-76 [Conf]
  7. Agostino Dovier
    A Language with Finite Sets Embedded in the CLP-scheme. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:77-93 [Conf]
  8. Lars-Henrik Eriksson
    Finitary Partial Inductive Definitions as a General Logic. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:94-119 [Conf]
  9. Göran Falkman, Olof Torgersson
    Programming Methodologies in GCLA. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:120-151 [Conf]
  10. Knut Hinkelmann, Helge Hintze
    Computing Cost Estimates for Proof Strategies. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:152-170 [Conf]
  11. Joshua S. Hodas
    Logic Programming with Multiple Context Management Schemes. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:171-182 [Conf]
  12. Seppo Keronen
    Non-Procedural Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:183-195 [Conf]
  13. Per Kreuger
    Axioms in Definitional Calculi. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:196-205 [Conf]
  14. Dale Miller
    A Proposal for Modules in Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:206-221 [Conf]
  15. Alberto Momigliano, Mario Ornaghi
    Regular Search Spaces as a Foundation of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:222-254 [Conf]
  16. David Pearce
    Answer Sets and Nonmonotonic S4. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:255-267 [Conf]
  17. José Júlio Alferes, Luís Moniz Pereira
    Contradiction: When Avoidance Equals Removal - Part II. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:268-281 [Conf]
  18. Luis Pinto
    Cut Formulae and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:282-300 [Conf]
  19. Uday S. Reddy
    Higher-order Aspects of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:301-321 [Conf]
  20. Cristina Ribeiro, António Porto
    Representation and Inference with Consistent Temporal Propositions. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:322-332 [Conf]
  21. Peter Schroeder-Heister
    Definitional Reflection and the Completion. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:333-347 [Conf]
  22. Jirí Zlatuska
    Linear Logic Semantics for Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:348-360 [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