Abstract is missing.
- Linguistic Understanding and Non-Monotonic ReasoningNicholas Ascher. 1-20
- Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-MonotonicityAlexander Borgida, Tomasz Imielinski. 21-32
- Re: Inheritance Hierarchies with ExceptionsGarrison W. Cottrell. 33-56
- Circumscription and Implicit DefinabilityJon Doyle. 57-69
- On the Adequacy of Predicate Circumscription for Closed-World ReasoningDavid W. Etherington, Robert E. Mercer, Raymond Reiter. 70-81
- Computational Vision as a (Non-Monotonic) Reasoning ProcessMartin A. Fischler, Oscar Firschein. 82-92
- Default Reasoning and the Logic of Theory PerturbationClark Glymour, Richmond H. Thomason. 93-102
- WATSON: A Dependency Directed Inference SystemJames W. Goodwin. 103-114
- Default Reasoning as CircumscriptionBenjamin N. Grosof. 115-124
- Towards a Theory of Knowledge and Ignorance: Preliminary ReportJoseph Y. Halpern, Yoram Moses. 125-143
- Default Reasoning in InteractionAravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel. 144-150
- Some Results on CircumscriptionVladimir Lifschitz. 151-164
- Considerations on Default LogicWitold Lukaszewicz. 165-193
- A Natural Semantics for Modal Logic over Databases and Model-Theoretic ForcingV. Wiktor Marek. 194-240
- A Model for Belief RevisionJoão P. Martins, Stuart C. Shapiro. 241-294
- Applications of Circumscription to Formalizing Common Sense KnowledgeJohn McCarthy. 295-324
- Programming Directly in a Non Monotonic LogicL. Thorne McCarty. 325-336
- Protected CircumscriptionJack Minker, Donald Perlis. 337-343
- Possible-World Semantics for Autoepistemic LogicRobert C. Moore. 344-354
- Topics for CircumscriptionMary Angela Papalaskaris, Alan Bundy. 355-362
- A Logical System for Default ReasoningDavid Poole. 373-384
- An Abductive Non-Monotonic LogicJames A. Reggia, Dana S. Nau. 385-395