Conferences in DBLP

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

1. Martin Argenius, Andrei Voronkov
   Semantics of Constraint Logic Programs with Bounded Quantifiers. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:1-18 [Conf]
   
2. Matteo Baldoni, Laura Giordano, Alberto Martelli
   Translating a Modal Language with Embedded Implication into Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:19-33 [Conf]
   
3. Antonio Brogi, Cosimo Guarino
   Pruning the Search Space of Logic Programs. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:35-49 [Conf]
   
4. Ricardo Caferra, Nicolas Peltier
   A Significant Extension of Logic Programming by Adapting Model Building Rules. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:51-65 [Conf]
   
5. Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
   Efficient Resource Management for Linear Logic Proof Search. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:67-81 [Conf]
   
6. Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
   A Logic Language based on GAMMA-like Multiset Rewriting. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:83-101 [Conf]
   
7. Carlos Viegas Damásio, Luís Moniz Pereira
   Default Negated Conclusions: Why Not? [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:103-117 [Conf]
   
8. Anatoli Degtyarev, Andrei Voronkov
   Handling Equality in Logic Programming via Basic Folding. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:119-136 [Conf]
   
9. Kerstin Eder, Steffen Hölldobler, Michael Thielscher
   An Abstract Machine for Reasoning about Situations, Actions, and Causality. [Citation Graph (0, 0)][DBLP]
   ELP, 1996, pp:137-151 [Conf]
   
10. Jörg Hudelmaier
    On the Computational Complexity of Propositional Logic Programs with Nested Implications. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:153-159 [Conf]
    
11. Catholijn M. Jonker
    Proof-theory for Extensions of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:161-175 [Conf]
    
12. Yoshiki Kinoshita, A. John Power
    A Fibrational Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:177-191 [Conf]
    
13. Herbert Kuchen, Josef Anastasiadis
    Higher Order Babel: Language and Implementation. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:193-207 [Conf]
    
14. James Lipton, Stacy E. Finkelstein, Peter J. Freyd
    A New Framework for Declarative Programming: Categorial Perspectives. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:209-211 [Conf]
    
15. Juan José Moreno-Navarro
    Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:213-227 [Conf]
    
16. Teodor C. Przymusinski
    Super Logic Programs and Negation as Belief. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:229-235 [Conf]
    
17. Robert F. Stärk
    Total Correctness of Logic Programs: A Formal Approach. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:237-254 [Conf]
    
18. Karl Stroetmann, Thomas Glaß
    A Declarative Semantics for the Prolog Cut Operator. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:255-271 [Conf]
    
19. Olof Torgersson
    A Definitional Approach to Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:273-287 [Conf]
    
20. Peter Vojtás, Leonard Paulík
    Soundness and Completeness of Non-classical SLD-Resolution. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:289-301 [Conf]
    
21. Cees Witteveen, Wiebe van der Hoek
    Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:303-318 [Conf]