Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1995

Logic Programming and Nonmonotonic Reasoning

Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Editors:

  1. V. Wiktor Marek
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anil Nerode
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Truszczyński
    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 928)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 1995.

Sections

Buy it now

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

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

Table of contents (29 papers)

  1. Front Matter

    PDF

  2. Complexity results for abductive logic programming

    • Thomas Eiter, Georg Gottlob, Nicola Leone
    Pages 1-14

  4. Abduction over 3-valued extended logic programs

    • Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 29-42

  5. On logical constraints in logic programming

    • V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Pages 43-56

  6. An operator for composing deductive data bases with theories of constraints

    • D. Aquilino, P. Asirelli, C. Renso, F. Turini
    Pages 57-70

  7. Update rules in datalog programs

    • M. Halfeld Ferrari Alves, D. Laurent, N. Spyratos
    Pages 71-84

  10. Computing the well-founded semantics faster

    • Kenneth A. Berman, John S. Schlipf, John V. Franco
    Pages 113-126

  11. Loop checking and the well-founded semantics

    • Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk
    Pages 127-142

  12. Annotated revision specification programs

    • Melvin Fitting
    Pages 143-155

  13. Update by means of inference rules

    • Teodor C. Przymusinski, Hudson Turner
    Pages 156-174

  14. A sphere world semantics for default reasoning

    • João C. P. da Silva, Sheila R. M. Veloso
    Pages 175-188

  15. Revision by communication

    • Cees Witteveen, Wiebe van der Hoek
    Pages 189-202

  16. Hypothetical updates, priority and inconsistency in a logic programming language

    • D. Gabbay, L. Giordano, A. Martelli, N. Olivetti
    Pages 203-216

  20. Skeptical rational extensions

    • Artur Mikitiuk, Miroslaw Truszczyński
    Pages 259-272
Back to top

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

Back to top

About this book

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation