Nonmonotonic and inductive logic [electronic resource] : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt (eds.)
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 nonmo...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1993.
|
| Series: | Lecture notes in computer science ;
659. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- A tutorial on nonmonotonic reasoning / Gerd Brewka, Jurgen Dix, Kurt Konolige
- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms / Naoki Abe
- More about learning elementary formal systems / Setsuo Arikawa [and others]
- A polynomial time algorithm for finding finite unions of tree pattern languages / Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
- Towards efficient inductive synthesis: rapid construction of local regularities / Janis Barzdins, Guntis Barzdins
- Deductive generalization in a default logic setting / Ph. Besnard, E. Gregoire
- Deduction with supernormal defaults / Stefan Brass
- Multi-agent learning: theoretical and empirical studies / Robert Daley
- Predicate synthesis from formal specifications: using mathematical induction for finding the preconditions of theorems / Marta Franova, Yves Kodratoff
- Dual types of hypotheses in inductive inference / Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen
- All I know about Tweety / Gerhard Lakemeyer
- Monotonic versus nonmonotonic language learning / Steffen Lange, Thomas Zeugmann
- Normal form results for default logic / V. Wiktor Marek, Miroslaw Truszczynski
- Retrieval in case-based reasoning using preferred subtheories / Michael Mehl
- Interactive synthesis of process flowcharts / Yuji Takada
- Probabilistic inference of approximations / Juris Viksna.