About these proceedings
This proceedings volume contains a selection of revised and
extended papers presented at the Second International
Workshop on Nonmonotonic and InductiveLogic, NIL '91, which
took place at Reinhardsbrunn Castle, December 2-6, 1991.
The volume opens with an extended version of a tutorial on
nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige.
Fifteen selected papers follow, on a variety of topics. The
majority of papers belong either to the area of nonmonotonic
reasoning or to the field of inductive inference, but
some papers integrate research from both areas.
The first workshop in this series was held at the University
of Karlsruhe in December 1990 and its proceedings were
published as Lecture Notes in Artificial Intelligence Volume
543. The series of workshops was made possible by financial
support from Volkswagen Stiftung, Hannover. This workshop
was also supported by IBM Deutschland GmbH and Siemens AG.
Default-Logic Induktive Logik artificial intelligence case-based reasoning complexity concept learning default logic formal specification inductive inference inductive logic induktive Inferenz konzeptionelles Lernen nicht-monotones Schließen nonmonotonic reasoning selection