1. NMR 1984:
New Paltz,
NY,
USA
Proceedings of the Non-Monotonic Reasoning Workshop,
Mohonk Mountain House,
New Paltz,
NY 12561 October 17-19,
1984. Sponsored and published by the American Association for Artificial Intelligence (AAAI)
- Nicholas Ascher:
Linguistic Understanding and Non-Monotonic Reasoning.
1-20 BibTeX
- Alexander Borgida, Tomasz Imielinski:
Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.
21-32 BibTeX
- Garrison W. Cottrell:
Re: Inheritance Hierarchies with Exceptions.
33-56 BibTeX
- Jon Doyle:
Circumscription and Implicit Definability.
57-69 BibTeX
- David W. Etherington, Robert E. Mercer, Raymond Reiter:
On the Adequacy of Predicate Circumscription for Closed-World Reasoning.
70-81 BibTeX
- Martin A. Fischler, Oscar Firschein:
Computational Vision as a (Non-Monotonic) Reasoning Process.
82-92 BibTeX
- Clark Glymour, Richmond H. Thomason:
Default Reasoning and the Logic of Theory Perturbation.
93-102 BibTeX
- James W. Goodwin:
WATSON: A Dependency Directed Inference System.
103-114 BibTeX
- Benjamin N. Grosof:
Default Reasoning as Circumscription.
115-124 BibTeX
- Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report.
125-143 BibTeX
- Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel:
Default Reasoning in Interaction.
144-150 BibTeX
- Vladimir Lifschitz:
Some Results on Circumscription.
151-164 BibTeX
- Witold Lukaszewicz:
Considerations on Default Logic.
165-193 BibTeX
- V. Wiktor Marek:
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.
194-240 BibTeX
- João P. Martins, Stuart C. Shapiro:
A Model for Belief Revision.
241-294 BibTeX
- John McCarthy:
Applications of Circumscription to Formalizing Common Sense Knowledge.
295-324 BibTeX
- L. Thorne McCarty:
Programming Directly in a Non Monotonic Logic.
325-336 BibTeX
- Jack Minker, Donald Perlis:
Protected Circumscription.
337-343 BibTeX
- Robert C. Moore:
Possible-World Semantics for Autoepistemic Logic.
344-354 BibTeX
- Mary Angela Papalaskaris, Alan Bundy:
Topics for Circumscription.
355-362 BibTeX
- Donald Perlis:
Non-Monotonicity and Real-Time Reasoning.
363-372 BibTeX
- David Poole:
A Logical System for Default Reasoning.
373-384 BibTeX
- James A. Reggia, Dana S. Nau:
An Abductive Non-Monotonic Logic.
385-395 BibTeX
- Donald Perlis:
Bibliography of Literature on Non-Monotonic Reasoning.
396-401 BibTeX
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Copyright © Sat May 16 23:31:35 2009
by Michael Ley (ley@uni-trier.de)