Overview
- Roy Dyckhoff
You can also search for this editor inPubMed Google Scholar
- Heinrich Herre
You can also search for this editor inPubMed Google Scholar
- Peter Schroeder-Heister
You can also search for this editor inPubMed Google Scholar
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 1050)
Part of the book sub series:Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: ELP 1996.
2555Accesses
This is a preview of subscription content,log in via an institution to check access.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
Similar content being viewed by others
Keywords
Table of contents (21 papers)
Front Matter
Semantics of constraint logic programs with bounded quantifiers
- Martin Argenius, Andrei Voronkov
Pages 1-18Translating a modal language with embedded implication into Horn clause logic
- Matteo Baldoni, Laura Giordano, Alberto Martelli
Pages 19-33A significant extension of logic programming by adapting model building rules
- Ricardo Caferra, Nicolas Peltier
Pages 51-65Efficient resource management for linear logic proof search
- Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Pages 67-81A logic language based on GAMMA-like multiset rewriting
- Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
Pages 83-101Handling equality in logic programming via basic folding
- Anatoli Degtyarev, Andrei Voronkov
Pages 119-136An abstract machine for reasoning about situations, actions, and causality
- Kerstin Eder, Steffen Hölldobler, Michael Thielscher
Pages 137-151On the computational complexity of propositional logic programs with nested implications
- Jörg Hudelmaier
Pages 153-159A new framework for declarative programming: Categorical perspectives
- James Lipton, Stacy E. Finkelstein, Peter Freyd
Pages 209-211Extending constructive negation for partial functions in lazy functional-logic languages
- Juan José Moreno-Navarro
Pages 213-227
Other volumes
Extensions of Logic Programming
Bibliographic Information
Book Title:Extensions of Logic Programming
Book Subtitle:5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Editors:Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/3-540-60983-0
Publisher:Springer Berlin, Heidelberg
eBook Packages:Springer Book Archive
Copyright Information:Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN:978-3-540-60983-4Published: 13 March 1996
eBook ISBN:978-3-540-49751-6Published: 06 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:X, 322
Topics:Programming Languages, Compilers, Interpreters,Computer System Implementation,Artificial Intelligence,Programming Techniques,Mathematical Logic and Formal Languages