Skip to main content
Book cover

Nonmonotonic Logics

Basic Concepts, Results, and Techniques

  • Book
  • © 1997

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1187)

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

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

Access this book

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 (6 chapters)

Keywords

About this book

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability.
This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo

Bibliographic Information

  • Book Title: Nonmonotonic Logics

  • Book Subtitle: Basic Concepts, Results, and Techniques

  • Editors: Karl Schlechta

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0021104

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1997

  • Softcover ISBN: 978-3-540-62482-0Published: 15 January 1997

  • eBook ISBN: 978-3-540-49736-3Published: 13 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 246

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us