2. NIL 1990: Karlsruhe, Germany

@proceedings{DBLP:conf/nil/1990,
  editor    = {J{\"u}rgen Dix and
               Klaus P. Jantke and
               Peter H. Schmitt},
  title     = {Nonmonotonic and Inductive Logic, 1st International Workshop,
               Karlsruhe, Germany, December 4-7, 1990, Proceedings},
  booktitle = {Nonmonotonic and Inductive Logic},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {543},
  year      = {1991},
  isbn      = {3-540-54564-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Nonmonotonicity in Logic Programs

• Gerhard Brewka, David Makinson, Karl Schlechta: Cumulative Inference Relations for JTMS and Logic Programming. 1-12 BibTeX
• Jürgen Dix: Cumulativity and Rationality in Semantics of Normal Logic Programs. 13-37 BibTeX
• Heinrich Herre: Nonmonotonic Reasoning and Logic Programs. 38-58 BibTeX

Axiomatic Approach to Nonmonotonic Reasoning

• Michael Freund: Supracompact Inference Operations. 59-73 BibTeX
• Gerhard Jäger: Notions of Nonmonotonic Derivability. 74-84 BibTeX
• V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski: Ranges of Strong Modal Nonmonotonic Logics. 85-99 BibTeX
• Helmut Thiele: On Generation of Cumulative Inference Operators by Default Deduction Rules. 100-137 BibTeX
• Emil Weydert: Qualitative Magnitude Reasoning. 138-160 BibTeX

Inductive Inference

• Klaus P. Jantke: Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. 161-177 BibTeX
• Steffen Lange: A Note on Polynominal-Time Inference of k-Variable Pattern Languages. 178-183 BibTeX
• Rolf Wiehagen: A Thesis in Inductive Inference. 184-207 BibTeX
• Thomas Zeugmann: Inductive Inference of Optimal Programs: A Survey and Open Problems. 208-222 BibTeX

Autoepistemic Logic

• Jürgen Kalinski: Autoepistemic Expansions with Incomplete Belief Introspection. 223-232 BibTeX

Belief Updates

• Michael Morreau, Hans Rott: Is it Impossible to Keep up to Date? 233-243 BibTeX