Advertisement

Table of contents

  1. Front Matter
  2. Martin Argenius, Andrei Voronkov
    Pages 1-18
  3. Matteo Baldoni, Laura Giordano, Alberto Martelli
    Pages 19-33
  4. Antonio Brogi, Cosimo Guarino
    Pages 35-49
  5. Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
    Pages 67-81
  6. Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
    Pages 83-101
  7. Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 103-117
  8. Anatoli Degtyarev, Andrei Voronkov
    Pages 119-136
  9. Kerstin Eder, Steffen Hölldobler, Michael Thielscher
    Pages 137-151
  10. Catholijn M. Jonker
    Pages 161-175
  11. Y. Kinoshita, A. J. Power
    Pages 177-191
  12. Herbert Kuchen, Josef Anastasiadis
    Pages 193-207
  13. James Lipton, Stacy E. Finkelstein, Peter Freyd
    Pages 209-211
  14. Teodor C. Przymusinski
    Pages 229-235
  15. Karl Stroetmann, Thomas Glaß
    Pages 255-271
  16. Peter Vojtás, Leonard Paulík
    Pages 289-301
  17. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
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.

Keywords

Extension Knowledge Representation Linear Logic Logic Programming Nichtmonotones Schließen Proof Theory Wissensrepräsentation logic nonmonotonic reasoning programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60983-0
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60983-4
  • Online ISBN 978-3-540-49751-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site