5. ELP 1996: Leipzig, Germany
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (Eds.):
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings.
Lecture Notes in Computer Science 1050 Springer 1996, ISBN 3-540-60983-0 
- Martin Argenius, Andrei Voronkov:
Semantics of Constraint Logic Programs with Bounded Quantifiers.
1-18
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic.
19-33
- Antonio Brogi, Cosimo Guarino:
Pruning the Search Space of Logic Programs.
35-49
- Ricardo Caferra, Nicolas Peltier:
A Significant Extension of Logic Programming by Adapting Model Building Rules.
51-65
- Iliano Cervesato, Joshua S. Hodas, Frank Pfenning:
Efficient Resource Management for Linear Logic Proof Search.
67-81
- Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A Logic Language based on GAMMA-like Multiset Rewriting.
83-101
- Carlos Viegas Damásio, Luís Moniz Pereira:
Default Negated Conclusions: Why Not?
103-117
- Anatoli Degtyarev, Andrei Voronkov:
Handling Equality in Logic Programming via Basic Folding.
119-136
- Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality.
137-151
- Jörg Hudelmaier:
On the Computational Complexity of Propositional Logic Programs with Nested Implications.
153-159
- Catholijn M. Jonker:
Proof-theory for Extensions of Logic Programming.
161-175
- Yoshiki Kinoshita, A. John Power:
A Fibrational Semantics for Logic Programs.
177-191
- Herbert Kuchen, Josef Anastasiadis:
Higher Order Babel: Language and Implementation.
193-207
- James Lipton, Stacy E. Finkelstein, Peter J. Freyd:
A New Framework for Declarative Programming: Categorial Perspectives.
209-211
- Juan José Moreno-Navarro:
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.
213-227
- Teodor C. Przymusinski:
Super Logic Programs and Negation as Belief.
229-235
- Robert F. Stärk:
Total Correctness of Logic Programs: A Formal Approach.
237-254
- Karl Stroetmann, Thomas Glaß:
A Declarative Semantics for the Prolog Cut Operator.
255-271
- Olof Torgersson:
A Definitional Approach to Functional Logic Programming.
273-287
- Peter Vojtás, Leonard Paulík:
Soundness and Completeness of Non-classical SLD-Resolution.
289-301
- Cees Witteveen, Wiebe van der Hoek:
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.
303-318
Last update Sun May 26 01:49:25 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
