2. NIL 1991:
Reinhardsbrunn Castle,
Germany
Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (Eds.):
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings.
Lecture Notes in Computer Science 659 Springer 1993, ISBN 3-540-56433-0 BibTeX
@proceedings{DBLP:conf/nil/1991,
editor = {Gerhard Brewka and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Nonmonotonic and Inductive Logic, Second International Workshop,
Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings},
booktitle = {Nonmonotonic and Inductive Logic},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {659},
year = {1993},
isbn = {3-540-56433-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Tutorials
Selected Papers
- Naoki Abe:
On the Sample Complexity of Various Learning Strategies in the Probabilistic PAC Learning Paradigms.
89-106 BibTeX
- Setsuo Arikawa, Takeshi Shinohara, Satoru Miyano, Ayumi Shinohara:
More About Learning Elementary Formal Systems.
107-117 BibTeX
- Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki:
A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages.
118-131 BibTeX
- Janis Barzdins, Guntis Barzdins:
Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities.
132-140 BibTeX
- Philippe Besnard, Éric Grégoire:
Deductive Generalization in a Default Logic Setting.
141-152 BibTeX
- Stefan Brass:
Deduction with Supernormal Defaults.
153-174 BibTeX
- Robert P. Daley:
Multi-Agent Learning: Theoretical and Empirical Studies.
175-183 BibTeX
- Marta Franová, Yves Kodratoff:
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.
184-208 BibTeX
- Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
Dual Types of Hypotheses in Inductive Inference.
209-240 BibTeX
- Gerhard Lakemeyer:
All I Know About Tweety.
241-253 BibTeX
- Steffen Lange, Thomas Zeugmann:
Monotonic Versus Nonmonotonic Language Learning.
254-269 BibTeX
- V. Wiktor Marek, Miroslaw Truszczynski:
Normal Form Results for Default Logic.
270-283 BibTeX
- Michael Mehl:
Retrieval in Case-Based Reasoning Using Preferred Subtheories.
284-297 BibTeX
- Yuji Takada:
Interactive Synthesis of Process Flowcharts.
298-322 BibTeX
- Juris Viksna:
Probabilistic Inference of Approximations.
323-332 BibTeX
Copyright © Sat May 16 23:31:23 2009
by Michael Ley (ley@uni-trier.de)