Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4--7, 1990. Proceedings (Q1202155)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Brewka, Gerhard; Makinson, David; Schlechta, Karl}, Cumulative inference relations for JTMS and logic programming, 1-12 [Zbl 0792.68170] \textit{Dix, Jürgen}, Cumulativity and rationality in semantics of normal logic programs, 13-37 [Zbl 0792.68018] \textit{Herre, Heinrich}, Nonmonotonic reasoning and logic programs, 38-58 [Zbl 0792.68019] \textit{Freund, Michael}, Supracompact inference operations, 59-73 [Zbl 0792.68171] \textit{Jäger, Gerhard}, Notions of nonmonotonic derivability, 74-84 [Zbl 0794.03037] \textit{Marek, Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław}, Ranges of strong modal nonmonotonic logics, 85-99 [Zbl 0794.03036] \textit{Thiele, Helmut}, On generation of cumulative inference operators by default deduction rules, 100-137 [Zbl 0792.68173] \textit{Weydert, Emil}, Qualitative magnitude reasoning. Towards a new syntax and semantics for default reasoning, 138-160 [Zbl 0792.68174] \textit{Jantke, Klaus P.}, Monotonic and non-monotonic inductive inference of functions and patterns, 161-177 [Zbl 0792.68135] \textit{Lange, Steffen}, A note on polynomial-time inference of \(k\)-variable pattern languages, 178-183 [Zbl 0792.68138] \textit{Wiehagen, Rolf}, A thesis in inductive inference, 184-207 [Zbl 0794.03058] \textit{Zeugmann, Thomas}, Inductive inference of optimal programs. A survey and open problems, 208-222 [Zbl 0792.68149] \textit{Kalinski, Jürgen}, Autoepistemic expansions with incomplete belief introspection, 223-232 [Zbl 0792.68172] \textit{Morreau, M.; Rott, H.}, Is it impossible to keep up to date?, 233-243 [Zbl 0792.68175]