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 BibTeX

@proceedings{DBLP:conf/elp/1996,
  editor    = {Roy Dyckhoff and
               Heinrich Herre and
               Peter Schroeder-Heister},
  title     = {Extensions of Logic Programming, 5th International Workshop,
               ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings},
  booktitle = {ELP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1050},
  year      = {1996},
  isbn      = {3-540-60983-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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