Buch, Englisch, 338 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1080 g
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
Buch, Englisch, 338 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1080 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-56433-1
Verlag: Springer Berlin Heidelberg
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Computeranwendungen in der Mathematik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
Weitere Infos & Material
A tutorial on Nonmonotonic Reasoning.- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms.- More about learning elementary formal systems.- A polynomial time algorithm for finding finite unions of tree pattern languages.- Towards efficient inductive synthesis: Rapid construction of local regularities.- Deductive generalization in a default logic setting.- Deduction with supernormal defaults.- Multi-agent learning: Theoretical and empirical studies.- Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems.- Dual types of hypotheses in inductive inference.- All I know about Tweety.- Monotonic versus non-monotonic language learning.- Normal form results for default logic.- Retrieval in case-based reasoning using preferred subtheories.- Interactive synthesis of process flowcharts.- Probabilistic inference of approximations.
