International Workshop on Mon-Monotonic Reasoning

Conference year 1988

c-nmrw-88-1

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

c-nmrw-88-19

Allen L. Brown Jr. and Yoav Shoham:
New Results on Semantical Non-Monotonic Reasoning.
Pages 19-26.

c-nmrw-88-27

Erik Sandewall:
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations.
Pages 27-41.

c-nmrw-88-42

Kurt Konolige:
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report.
Pages 42-59.

c-nmrw-88-60

Paul H. Morris:
Autoepistemic Stable Closures and Contradiction Resolution.
Pages 60-73.

c-nmrw-88-74

Michael Gelfond and Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logics Programs.
Pages 74-99.

c-nmrw-88-100

Matthew L. Ginsberg:
A Circumscriptive Theorem Prover.
Pages 100-114.

c-nmrw-88-115

Bart Selman and Henry Kautz:
The Complexity of Model-Preference Default Theories.
Pages 115-130.

c-nmrw-88-131

Michael Dixon and Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance.
Pages 131-142.

c-nmrw-88-143

Oskar Dressler:
An Extended Basic ATMS.
Pages 143-163.

c-nmrw-88-164

Douglas E. Appelt and Kurt Konolige:
A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision.
Pages 164-175.

c-nmrw-88-176

Michael Gelfond:
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.
Pages 176-186.

c-nmrw-88-187

Scott D. Goodwin and Randy G. Goebel:
Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem.
Pages 187-201.

c-nmrw-88-202

Vladimir Lifschitz:
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.
Pages 202-219.

c-nmrw-88-220

Richmond H. Thomason and John F. Horty:
Logics for Inheritance Theory.
Pages 220-237.