Non-monotonic reasoning. 2nd international workshop, Grassau, FRG, June 15-15, 1988. Proceedings (Q1188542)

[The articles of this volume will be reviewed individually under the abbreviation ``Non-monotonic reasoning, Proc. 2nd Int. Workshop, Grassau/FRG 1988, Lect. Notes Comput. Sci. 346 (1989)''.] Nonmonotonic reasoning (NMR) is ``one of the hottest topics in artificial intelligence research''. Papers presented on the workshop in Grassau represent ``a snapshot of the current state of the art'': An attention is devoted to the foundational questions. New results of research in traditional families of NMR formalization - in circumscription, default logic (DL) and autoepistemic logic (AE) - are presented. Truth maintenance system (TMS) and Assumption-based TMS (ATMS) are yet still interesting and inspiring. Some implementations and applications of NMR formalizations are enclosed, too. Open problems, conceptual and/or computational difficulties connected with formal systems of NMR, a gap between formal systems on the one hand and intuitions or implementations on the other hand are shown (and stressed) in many papers. A short review of each paper published in the proceedings follows in some future edition. All abbreviations introduced in the preceding paragraph are used in the text.