ELP

Keyphrases

Publications

1996

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Efficient Resource Management for Linear Logic Proof Search. ELP (1996)
Karl Stroetmann, Thomas Glaß
A Declarative Semantics for the Prolog Cut Operator. ELP (1996)
Juan José Moreno-Navarro
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP (1996)
Olof Torgersson
A Definitional Approach to Functional Logic Programming. ELP (1996)
Robert F. Stärk
Total Correctness of Logic Programs: A Formal Approach. ELP (1996)
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP (1996)
Carlos Viegas Damásio, Luís Moniz Pereira
Default Negated Conclusions: Why Not? ELP (1996)
Ricardo Caferra, Nicolas Peltier
A Significant Extension of Logic Programming by Adapting Model Building Rules. ELP (1996)
Anatoli Degtyarev, Andrei Voronkov
Handling Equality in Logic Programming via Basic Folding. ELP (1996)
Yoshiki Kinoshita, A. John Power
A Fibrational Semantics for Logic Programs. ELP (1996)
Martin Argenius, Andrei Voronkov
Semantics of Constraint Logic Programs with Bounded Quantifiers. ELP (1996)
Antonio Brogi, Cosimo Guarino
Pruning the Search Space of Logic Programs. ELP (1996)
Catholijn M. Jonker
Proof-theory for Extensions of Logic Programming. ELP (1996)
Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
A Logic Language based on GAMMA-like Multiset Rewriting. ELP (1996)
Matteo Baldoni, Laura Giordano, Alberto Martelli
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP (1996)
Cees Witteveen, Wiebe van der Hoek
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP (1996)
Jörg Hudelmaier
On the Computational Complexity of Propositional Logic Programs with Nested Implications. ELP (1996)
Peter Vojtás, Leonard Paulík
Soundness and Completeness of Non-classical SLD-Resolution. ELP (1996)
Herbert Kuchen, Josef Anastasiadis
Higher Order Babel: Language and Implementation. ELP (1996)
James Lipton, Stacy E. Finkelstein, Peter J. Freyd
A New Framework for Declarative Programming: Categorial Perspectives. ELP (1996)
Teodor C. Przymusinski
Super Logic Programs and Negation as Belief. ELP (1996)

volume 1050, 1996

Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings ELP 1050 (1996)

volume 798, 1994

Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings ELP 798 (1994)

1993

volume 660, 1993

Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings ELP 660 (1993)

1992

volume 596, 1992

Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings ELP 596 (1992)