Skip to main content
SpringerLink
Log in

Extensions of Logic Programming

5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Roy Dyckhoff
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Heinrich Herre
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Schroeder-Heister
    View editor publications

    You can also search for this editor in PubMed   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.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Semantics of constraint logic programs with bounded quantifiers

    • Martin Argenius, Andrei Voronkov
    Pages 1-18

  3. Translating a modal language with embedded implication into Horn clause logic

    • Matteo Baldoni, Laura Giordano, Alberto Martelli
    Pages 19-33

  4. Pruning the search space of logic programs

    • Antonio Brogi, Cosimo Guarino
    Pages 35-49

  5. A significant extension of logic programming by adapting model building rules

    • Ricardo Caferra, Nicolas Peltier
    Pages 51-65

  6. Efficient resource management for linear logic proof search

    • Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
    Pages 67-81

  7. A logic language based on GAMMA-like multiset rewriting

    • Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
    Pages 83-101

  8. Default negated conclusions: Why not?

    • Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 103-117

  9. Handling equality in logic programming via basic folding

    • Anatoli Degtyarev, Andrei Voronkov
    Pages 119-136

  10. An abstract machine for reasoning about situations, actions, and causality

    • Kerstin Eder, Steffen Hölldobler, Michael Thielscher
    Pages 137-151

  11. On the computational complexity of propositional logic programs with nested implications

    • Jörg Hudelmaier
    Pages 153-159

  12. Proof-theory for extensions of Logic Programming

    • Catholijn M. Jonker
    Pages 161-175

  13. A fibrational semantics for logic programs

    • Y. Kinoshita, A. J. Power
    Pages 177-191

  14. Higher Order Babel: Language and implementation

    • Herbert Kuchen, Josef Anastasiadis
    Pages 193-207

  15. A new framework for declarative programming: Categorical perspectives

    • James Lipton, Stacy E. Finkelstein, Peter Freyd
    Pages 209-211

  16. Extending constructive negation for partial functions in lazy functional-logic languages

    • Juan José Moreno-Navarro
    Pages 213-227

  17. Super logic programs and negation as belief

    • Teodor C. Przymusinski
    Pages 229-235

  18. Total correctness of logic programs: A formal approach

    • Robert F. Stärk
    Pages 237-254

  19. A declarative semantics for the Prolog cut operator

    • Karl Stroetmann, Thomas Glaß
    Pages 255-271

  20. A definitional approach to functional logic programming

    • Olof Torgersson
    Pages 273-287
Back to top

Other volumes

  1. Extensions of Logic Programming

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation