Skip to main content
SpringerLink
Log in
Book cover

Nonmonotonic and Inductive Logic

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

  • Conference proceedings
  • © 1991

Overview

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)

Buy print copy

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

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Cumulative inference relations for JTMS and logic programming

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

  3. Cumulativity and rationality in semantics of normal logic programs

    • Jürgen Dix
    Pages 13-37
    Download chapter PDF

  4. Nonmonotonic reasoning and logic programs

    • Heinrich Herre
    Pages 38-58
    Download chapter PDF

  5. Supracompact inference operations

    • Michael Freund
    Pages 59-73
    Download chapter PDF

  6. Notions of nonmonotonic derivability

    • Gerhard Jäger
    Pages 74-84
    Download chapter PDF

  7. Ranges of strong modal nonmonotonic logics

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

  8. On generation of cumulative inference operators by default deduction rules

    • Helmut Thiele
    Pages 100-137
    Download chapter PDF

  9. Qualitative magnitude reasoning

    • Emil Weydert
    Pages 138-160
    Download chapter PDF

  10. Monotonic and non-monotonic inductive inference of functions and patterns

    • Klaus P. Jantke
    Pages 161-177
    Download chapter PDF

  11. A note on polynomial-time inference of k-variable pattern languages

    • Steffen Lange
    Pages 178-183
    Download chapter PDF

  12. A thesis in inductive inference

    • Rolf Wiehagen
    Pages 184-207
    Download chapter PDF

  13. Inductive inference of optimal programs a survey and open problems

    • Thomas Zeugmann
    Pages 208-222
    Download chapter PDF

  14. Autoepistemic expansions with incomplete belief introspection

    • Jürgen Kalinski
    Pages 223-232
    Download chapter PDF

  15. Is it impossible to keep up to date?

    • M. Morreau, H. Rott
    Pages 233-243
    Download chapter PDF

  16. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation