In Memoriam -- Raymond Reiter

June 12, 1939 -- September 16, 2002

Jack Minker

Department of Computer Science and

Institute for Advanced Computer Studies

University of Maryland, College Park, MD 20742

The complete paper is available in:

• PostScript

• PDF

Photograph of Raymond Reiter taken in 1997 at Jack Minker's home.

• 

Abstract

Raymond Reiter, Professor of computer science at the University of Toronto, a Fellow of the Royal Society of Canada, and winner of the 1993 - IJCAI Outstanding Research Scientist Award, died September 16, 2002, after a year-long struggle with cancer. Reiter, known throughout the world as ``Ray,'' made foundational contributions to artificial intelligence, knowledge representation and databases, and theorem proving. The memoriam describes Professor Reiter and his foundational contributions to artificial intelligence.

Bibliography

• [1] R. Brachman, H. Levesque, and R. Reiter, editors. First International Conference on Principles of Knowlege Representation and Reasoning. Morgan Kaufmann Press, 1989.
• [2] R. Brachman, H. Levesque, and R. Reiter, editors. Knowledge Representation. MIT Press, Cambridge, Massachusetts, 1991.
• [3] L. Bertossi and R. Reiter. Circumscription and generic mathematical objects. In: Notes of the 4th Int. Workshop on Nonmonotonic Reasoning, pages 28--33, Plymouth, Vermont, May 28-31 1992.
• [4] K.L. Clark. Negation as Failure. In: H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293--322. Plenum Press, New York, 1978.
• [5] J. de Kleer and R. Reiter. Foundations for assumption-based truth maintenance systems: Preliminary report. In: Proc. American Assoc. for Artificial Intelligence Nat. Conf., pages 183--188, Seattle, July 13-17 1987.
• [6] D. E. Etherington and R. Reiter. On inheritance hierarchies with exceptions. In: Proc. AAAI-83, American Assoc. for Artificial Intelligence Nat. Conf., Washington DC, August 22-26 1983.
• [7] R. A. Kowalski and D. Kuehner. Linear resolution with selection function. Artificial Intelligence, 2:227--260, 1971.
• [8] J. McCarthy. Situations, actions and causal laws, 1963. Memo 2. Reprinted in Semantic Information Processing (M. Minsky ed.) MIT Press, Cambridge, Mass., 1968, pp.410-417.
• [9] J. Minker. On indefinite databases and the closed world assumption. In: Lecture Notes in Computer Science 138, pages 292--308. Springer-Verlag, 1982.
• [10] R. Reiter and V. Criscuolo. Some representational issues in default reasoning. Int. J. Computers and Math (Special Issue on Computational Linguistics), 9(1):15--27, 1983.
• [11] R. Reiter. Two results on ordering for resolution with merging and linear format. JACM, pages 630--646, Oct. 1971.
• [12] R. Reiter. Deductive question-answering on relational data bases. In: H. Gallaire and J. Minker, editors, Logic and Databases, pages 149--177. Plenum Press, New York, 1978.
• [13] R. Reiter. On closed world data bases. In: H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55--76. Plenum Press, New York, 1978.
• [14] R. Reiter. On reasoning by default. In: Proc. Theoretical Issues in Natural Language Processing II, page 20, Urbana, July 25-27, 1978.
• [15] R. Reiter. A logic for default reasoning. Artificial Intelligence, pages 81--132, 1980.
• [16] R. Reiter. Towards a logical reconstruction of relational database theory. In: M. L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, Data Modelling in Artificial Intelligence, Database and Programming Languages, pages 191--233. Springer-Verlag, 1984.
• [17] R. Reiter. Nonmonotonic reasoning. Ann. Rev. Computer Science (invited paper), 2:147--186, 1987.
• [18] R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57--95, April 1987.
• [19] R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, San Diego, CA, 1991.
• [20] R. Reiter. On formalizing database updates: preliminary report. In: Proc. 3rd Int. Conf. on Extending Database Technology (invited paper), Vienna, Austria, March 23-27 1992.
• [21] R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, Massachusetts, 2001.
• [22] R. Reiter and A.K. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 32(2):125--155, December 1989.