Raymond Reiter
Raymond Reiter 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.
Awards and honors
He was a Fellow of the Association for Computing Machinery, 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. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 119–140. Plenum., New York.
- R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132.
- R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95.
- R. Reiter. The frame problem in the situation calculus: a simple solution 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 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . The MIT Press, Cambridge, Massachusetts and London, England.
- R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance systems: Preliminary report. In Proceedings of the Sixth National Conference on Artificial Intelligence , pages 183–188.
- H. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus Electronic Transactions on Artificial Intelligence, 2:159-178.
- F. Pirri and R. Reiter. Some contributions to the metatheory of the Situation Calculus Journal of the ACM, 46:325–361.