Advertisement

Table of contents

  1. Front Matter
  2. David Makinson
    Pages 1-18
  3. Allen L. Brown Jr., Yoav Shoham
    Pages 19-26
  4. Michael Gelfond, Vladimir Lifschitz
    Pages 74-99
  5. Matthew L. Ginsberg
    Pages 100-114
  6. Bart Selman, Henry Kautz
    Pages 115-130
  7. Michael Dixon, Johan de Kleer
    Pages 131-142
  8. Oskar Dressler
    Pages 143-163
  9. Douglas E. Appelt, Kurt Konolige
    Pages 164-175
  10. Vladimir Lifschitz
    Pages 202-219
  11. Richmond H. Thomason, John F. Horty
    Pages 220-237

About these proceedings

Introduction

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.

Keywords

knowledge logic programming nonmonotonic reasoning philosophy

Bibliographic information

  • Book Title Non-Monotonic Reasoning
  • Book Subtitle 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings
  • Editors Michael Reinfrank
    Johan de Kleer
    Matthew L. Ginsberg
    Erik Sandewall
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-50701-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-50701-7
  • eBook ISBN 978-3-540-46073-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVI, 240
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering