Nonmonotonic and inductive logic. 2nd international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Q1261774)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Brewka, G.; Dix, J.; Konolige, K.}, A tutorial on nonmonotonic reasoning, 1-88 [Zbl 0819.68106] \textit{Abe, N.}, On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms, 89-106 [Zbl 0819.68092] \textit{Arikawa, S.; Shinohara, T.; Miyano, S.; Shinohara, A.}, More about learning elementary formal systems, 107-117 [Zbl 0819.68093] \textit{Arimura, H.; Shinohara, T.; Otsuki, T.}, A polynomial time algorithm for finding finite unions of tree pattern languages, 118-131 [Zbl 0819.68094] \textit{Bärzdinš, J.; Bärzdinš, G.}, Towards efficient inductive synthesis: Rapid construction of local regularities, 132-140 [Zbl 0819.68095] \textit{Besnard, Ph.; Grégoire, E.}, Deductive generalization in a default logic setting, 141-152 [Zbl 0819.68096] \textit{Brass, S.}, Deduction with supernormal defaults, 153-174 [Zbl 0819.68121] \textit{Daley, R.}, Multi-agent learning: Theoretical and empirical studies, 175-183 [Zbl 0819.68097] \textit{Fraňová, M.; Kodratoff, Y.}, Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems, 184-208 [Zbl 0819.68107] \textit{Freivalds, R.; Kinber, E. B.; Wiehagen, R.}, Dual types of hypotheses in inductive inference, 209-240 [Zbl 0819.68108] \textit{Lakenmeyer, G.}, All I know about tweety, 241-253 [Zbl 0819.68122] \textit{Lange, S.; Zeugmann, T.}, Monotonic versus nonmonotonic language learning, 254-269 [Zbl 0819.68098] \textit{Marek, V. W.; Truszczynski, M.}, Normal form results for default logic, 270-283 [Zbl 0819.68123] \textit{Mehl, M.}, Retrieval in case-based reasoning using preferred subtheories, 284-297 [Zbl 0819.68109] \textit{Takada, Y.}, Interactive synthesis of process flowcharts, 298-322 [Zbl 0819.68117] \textit{Viksna, J.}, Probabilistic inference of approximations, 323-332 [Zbl 0819.68124]