Nonmonotonic and Inductive Logic

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

Lecture Notes in Artificial Intelligence Band 543

Jürgen Dix, Klaus P. Jantke, Peter Schmitt

Buch (Taschenbuch, Englisch)
Buch (Taschenbuch, Englisch)
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Versandfertig innerhalb 48 Stunden Versandkostenfrei
Versandfertig innerhalb 48 Stunden

Weitere Formate


ab € 69,99

Accordion öffnen


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
- 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


Einband Taschenbuch
Herausgeber Klaus P. Jantke, Peter H. Schmitt
Seitenzahl 250
Erscheinungsdatum 18.09.1991
Sprache Englisch
ISBN 978-3-540-54564-4
Verlag Springer Berlin
Maße (L/B/H) 23,5/15,5/1,4 cm
Gewicht 400 g
Auflage 1991

Weitere Bände von Lecture Notes in Artificial Intelligence


Es wurden noch keine Bewertungen geschrieben.
  • Artikelbild-0
  • Cumulative inference relations for JTMS and logic programming.- Cumulativity and rationality in semantics of normal logic programs.- Nonmonotonic reasoning and logic programs.- Supracompact inference operations.- Notions of nonmonotonic derivability.- Ranges of strong modal nonmonotonic logics.- On generation of cumulative inference operators by default deduction rules.- Qualitative magnitude reasoning.- Monotonic and non-monotonic inductive inference of functions and patterns.- A note on polynomial-time inference of k-variable pattern languages.- A thesis in inductive inference.- Inductive inference of optimal programs a survey and open problems.- Autoepistemic expansions with incomplete belief introspection.- Is it impossible to keep up to date?.