Overview
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.
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)
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