2. NMR 1988: Grassau, Germany

Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall (Eds.): Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Lecture Notes in Computer Science 346 Springer 1989, ISBN 3-540-50701-9 BibTeX

@proceedings{DBLP:conf/nmr/1988,
  editor    = {Michael Reinfrank and
               Johan de Kleer and
               Matthew L. Ginsberg and
               Erik Sandewall},
  title     = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau,
               FRG, June 13-15, 1988, Proceedings},
  booktitle = {NMR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {346},
  year      = {1989},
  isbn      = {3-540-50701-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

General Properties of Non-Monotonic Logics

David Makinson: General Theory of Cumulative Inference. 1-18 BibTeX

Preference-Based Model Theory

Allen L. Brown Jr., Yoav Shoham: New Results on Semantical Non-Monotonic Reasoning. 19-26 BibTeX
Erik Sandewall: The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. 27-41 BibTeX

Autoepistemic Logics

Kurt Konolige: Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report. 42-59 BibTeX
Paul H. Morris: Autoepistemic Stable Closures and Contradiction Resolution. 60-73 BibTeX

Implementing Circumscription

Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. 74-99 BibTeX
Matthew L. Ginsberg: A Circumscriptive Theorem Prover. 100-114 BibTeX

Complexity Considerations

Bart Selman, Henry A. Kautz: The Complexity of Model-Preference Default Theories. 115-130 BibTeX

Truth Maintenance Systems

Michael Dixon, Johan de Kleer: Massively Parallel Assumption-Based Truth Maintenance. 131-142 BibTeX
Oskar Dressler: An Extended Basic ATMS. 143-163 BibTeX

Applications

Douglas E. Appelt, Kurt Konolige: A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. 164-175 BibTeX
Michael Gelfond: Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. 176-186 BibTeX
Scott D. Goodwin, Randy Goebel: Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem. 187-201 BibTeX
Vladimir Lifschitz: Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. 202-219 BibTeX
Richmond H. Thomason, John F. Horty: Logics for Inheritance Theory. 220-237 BibTeX