Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Non-Monotonic Reasoning

2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. M. Reinfrank
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. Kleer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. L. Ginsberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. E. Sandewall
    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 346)

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

Included in the following conference series:

Conference proceedings info: NMR 1988.

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 49.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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. General theory of cumulative inference

    • David Makinson
    Pages 1-18

  3. New results on semantical nonmonotonic reasoning

    • Allen L. Brown Jr., Yoav Shoham
    Pages 19-26

  4. The semantics of non-monotonic entailment defined using partial interpretations

    • Erik Sandewall
    Pages 27-41

  5. Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report

    • Kurt Konolige
    Pages 42-59

  6. Autoepistemic stable closures and contradiction resolution

    • Paul H. Morris
    Pages 60-73

  7. Compiling circumscriptive theories into logic programs

    • Michael Gelfond, Vladimir Lifschitz
    Pages 74-99

  8. A circumscriptive theorem prover

    • Matthew L. Ginsberg
    Pages 100-114

  9. The complexity of Model-Preference Default theories

    • Bart Selman, Henry Kautz
    Pages 115-130

  10. Massively parallel Assumption-based Truth Maintenance

    • Michael Dixon, Johan de Kleer
    Pages 131-142

  11. An extended basic ATMS

    • Oskar Dressler
    Pages 143-163

  12. A nonmonotonic logic for reasoning about speech acts and belief revision

    • Douglas E. Appelt, Kurt Konolige
    Pages 164-175

  13. Autoepistemic logic and formalization of commonsense reasoning preliminary report

    • Michael Gelfond
    Pages 176-186

  14. Nonmonotonic reasoning in temporal domains: The knowledge independence problem

    • Scott D. Goodwin, Randy G. Goebel
    Pages 187-201

  15. Benchmark problems for formal nonmonotonic reasoning

    • Vladimir Lifschitz
    Pages 202-219

  16. Logics for inheritance theory

    • Richmond H. Thomason, John F. Horty
    Pages 220-237
Back to top

Other volumes

  1. Non-Monotonic Reasoning

Keywords

About this book

This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation