Non-monotonic Reasoning: 2nd International Workshop, Grassau, Frg, June 13-15, 1988. Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Marc Notes: Papers presented at Second International Workshop on Non-Monotonic Reasoning, held in June 1988 in Grassau, West Germany.; Bibliography: p. 236-237. Table of Contents: General theory of cumulative inference.- New results on semantical nonmonotonic reasoning.- The semantics of non-monotonic entailment defined using partial interpretations.- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report.- Autoepistemic stable closures and contradiction resolution.- Compiling circumscriptive theories into logic programs.- A circumscriptive theorem prover.- The complexity of Model-Preference Default theories.- Massively parallel Assumption-based Truth Maintenance.- An extended basic ATMS.- A nonmonotonic logic for reasoning about speech acts and belief revision.- Autoepistemic logic and formalization of commonsense reasoning preliminary report.- Nonmonotonic reasoning in temporal domains: The knowledge independence problem.- Benchmark problems for formal nonmonotonic reasoning.- Logics for inheritance theory.

Contributor Bio:  Kleer, Johan De Johan de Kleer directs the Systems and Practices Laboratory at the Xerox Palo Alto Research Center.