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

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Editors:

  1. Jürgen Dix
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ulrich Furbach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anil Nerode
    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 1265)

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 1997.

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 (34 papers)

  1. Front Matter

    PDF

  2. Forward and backward chaining in constraint programming

    • Joxan Jaffar, Bing Liu, Roland H. C. Yap
    Pages 1-1

  3. Strong and weak constraints in disjunctive datalog

    • Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Pages 2-17

  4. Nonmonotonic reasoning with quantified boolean constraints

    • Chris Pollett, Jeffrey B. Remmel
    Pages 18-39

  5. Improving the alternating fixpoint: The transformation approach

    • Ulrich Zukowski, Stefan Brass, Burkhard Freitag
    Pages 40-59

  6. Is non-monotonic reasoning always harder

    • Uwe Egly, Hans Tompits
    Pages 60-75

  8. Affordable classes of normal logic programs

    • Jennifer Seitzer, John Schlipf
    Pages 92-111

  9. Automated reasoning with nonmonotonic logics

    • Miroslaw Truszczyński
    Pages 112-114

  10. Simulations between programs as cellular automata

    • Howard A. Blair, Fred Dushin, Polar Humenn
    Pages 115-131

  12. Power defaults (preliminary report)

    • Guo-Qiang Zhang, William C. Rounds
    Pages 152-169

  13. A study of Przymusinski's static semantics

    • Alexander Bochman
    Pages 170-184

  14. Resolution for skeptical stable semantics

    • P. A. Bonatti
    Pages 185-197

  15. Computing non-ground representations of stable models

    • Thomas Eiter, James Lu, V. S. Subrahmanian
    Pages 198-217

  19. A paraconsistent semantics with contradiction support detection

    • Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 224-243

  20. On conservative enforced updates

    • Michael Dekhtyar, Alexander Dikovsky, Nicolas Spyratos
    Pages 244-257
Back to top

Other Volumes

  1. Logic Programming And Nonmonotonic Reasoning

Back to top

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
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