Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. ProceedingsThis 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
Nonmonotonic and Inductive Logic: Second International Workshop ... Gerhard Brewka,Klaus P. Jantke,Peter H. Schmitt No preview available - 1993 |
Nonmonotonic and Inductive Logic Gerhard Brewka,Klaus P. Jantke,Peter H. Schmitt No preview available - 2014 |
Common terms and phrases
algorithm allow answer application approach Artificial Intelligence assume atoms bound called changes circumscription clauses closed complete Computer condition Consequently consider consistent construct contains convergently corresponding default theory defined definition denote derive described disjunctive domain element example exists extension fact finite formal formula function given Hence holds hypothesis identifiable implies induction inference instance knowledge language learning least Lemma Logic Programming maximal method minimal monotonic natural negative nodes nonmonotonic Note obtained outputs partial particular polynomial positive possible predicate preferred present priority probabilistic probability problem Proceedings proof properties proposition prove provides query reasoning recursive relation represent require respect rule satisfying semantics sequence solution specification statement strategy string symbol Theorem tree pattern University variables
Bibliographic information
| Title | Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings Volume 659 of Lecture Notes in Artificial Intelligence Lecture Notes in Computer Science, ISSN 0302-9743 Volume 659 of Lecture notes in artificial intelligence : subseries of lecture notes in computer science, ISSN 0302-9743 Volume 659 of Lecture notes in computer science: Lecture notes in artificial intelligence |
| Authors | Gerhard Brewka, Klaus P. Jantke |
| Editors | Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt |
| Edition | illustrated |
| Publisher | Springer Science & Business Media, 1993 |
| ISBN | 3540564330, 9783540564331 |
| Length | 332 pages |
| Subjects | › › Computers / Artificial Intelligence / General Computers / Computer Science Computers / Information Technology Computers / Software Development & Engineering / General Mathematics / Discrete Mathematics Mathematics / History & Philosophy Mathematics / Logic |
| Export Citation | BiBTeX EndNote RefMan |