Raymond Reiter
Raymond Reiter (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.
He was a fellow of the ACM, the AAAI, and the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.
Works
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.
