Raymond Reiter

Raymond Reiter FRSC (/ˈraɪtər/; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed world reasoning, and truth maintenance systems. He also contributed to the situation calculus.[3][1][4][5]

Raymond Reiter FRSC
Born	June 12, 1939
Died	September 16, 2002 (aged 63)
Alma mater	University of Michigan (PhD)
Awards	ACM Fellow AAAI Fellow IJCAI Award for Research Excellence
Scientific career
Fields	Non-monotonic logic
Institutions	University of Toronto
Thesis	A Study of a Model for Parallel Computations (1967)
Doctoral advisor	Harvey Garner Richard M. Karp[1]
Doctoral students	Sheila McIlraith[1][2]

Awards and honors

He was a Fellow of the Association for Computing Machinery (ACM), an AAAI Fellow, and a Fellow of the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.

Publications

• R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 119–140. Plenum., New York.
• R. Reiter (1980). A logic for default reasoning. Artificial Intelligence, 13:81-132.
• R. Reiter (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95.
• R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, New York.
• R. Reiter (2001) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England.
• R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), pages 183–188.
• H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the situation calculus Electronic Transactions on Artificial Intelligence, 2(3–4):159-178.
• F. Pirri and R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus Journal of the ACM, 46(3):325–361. doi:10.1145/316542.316545

References

1. Raymond Reiter at the Mathematics Genealogy Project
2. McIlraith, Sheila Ann (1997). Towards a formal account of diagnostic problem solving. utoronto.ca (PhD thesis). hdl:1807/10895. OCLC 46561408.
3. Raymond Reiter at DBLP Bibliography Server
4. In Memoriam - Raymond Reiter, by Jack Minker
5. In Memory of Ray Reiter (1939-2002)