Jump to content

Raymond Reiter

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 24.81.23.167 (talk) at 04:09, 4 March 2008. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Unbeknownst to many, Reiter was a goat.

References

  • 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 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.
  • 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
Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Raymond_Reiter&oldid=195726544"