Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Front Cover
Springer Science & Business Media, Feb 26, 1993 - Computers - 332 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Contents
5
Nonmonotonic Inference Relations
13
ConsistencyBased Logics
24
Abduction
40
Semantics for Logic Programs with Negation
48
Bibliography
73
Gerd Brewka Jürgen Dix Kurt Konolige
89
More About Learning Elementary Formal Systems
107
Theoretical and Empirical Studies
175
Marta Franova Yves Kodratoff
209
Rusins Freivalds Efim B Kinber Rolf Wiehagen
241
Monotonic Versus Nonmonotonic Language Learning
254
Normal Form Results for Default Logic
270
Retrieval in CaseBased Reasoning Using Preferred Subtheories
284
Interactive Synthesis of Process Flowcharts
298
Probabilistic Inference of Approximations
323

Hiroki Arimura Takeshi Shinohara Setsuko Otsuki
132
Deduction with Supernormal Defaults
153

Other editions - View all

Common terms and phrases