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. Springer 1996 Lecture Notes in Computer Science 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
- 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
- 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
- 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
- Olof Torgersson: A Definitional Approach to Functional Logic Programming. 273-287
- Cees Witteveen, Wiebe van der Hoek: Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. 303-318
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team