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

Nonmonotonic and Inductive Logic

1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Editors:

  1. J. Dix
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. K. P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. P. H. Schmitt
    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 543)

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

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

  1. Front Matter

    PDF

  2. Cumulative inference relations for JTMS and logic programming

    • Gerhard Brewka, David Makinson, Karl Schlechta
    Pages 1-12

  4. Nonmonotonic reasoning and logic programs

    • Heinrich Herre
    Pages 38-58

  5. Supracompact inference operations

    • Michael Freund
    Pages 59-73

  6. Notions of nonmonotonic derivability

    • Gerhard Jäger
    Pages 74-84

  7. Ranges of strong modal nonmonotonic logics

    • Wiktor Marek, Grigori F. Schwarz, Mirosław Truszczyński
    Pages 85-99

  9. Qualitative magnitude reasoning

    • Emil Weydert
    Pages 138-160

  12. A thesis in inductive inference

    • Rolf Wiehagen
    Pages 184-207

  15. Is it impossible to keep up to date?

    • M. Morreau, H. Rott
    Pages 233-243

  16. Back Matter

    PDF
Back to top

About this book

This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning.
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Nonmonotonic and Inductive Logic

  • Book Subtitle: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

  • Editors: J. Dix, K. P. Jantke, P. H. Schmitt

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-54564-4Published: 18 September 1991

  • eBook ISBN: 978-3-540-38469-4Published: 19 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 250

  • Topics: Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Foundations

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