# Raymond Reiter

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Raymond_Reiter
> Markdown URL: https://mediated.wiki/source/Raymond_Reiter.md
> Source: https://en.wikipedia.org/wiki/Raymond_Reiter
> Source revision: 1334543844
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

**Raymond Reiter** (/ˈraɪtər/; June 12, 1939 – September 16, 2002) was a Canadian [computer scientist](/source/Computer_scientist) and [logician](/source/Logician). He was one of the founders of the field of [non-monotonic reasoning](/source/Non-monotonic_logic) with his work on [default logic](/source/Default_logic), [model-based diagnosis](/source/Diagnosis_(Artificial_intelligence)#Model-based_diagnosis), [closed-world reasoning](/source/Closed-world_assumption), and [truth maintenance systems](/source/Truth_maintenance_systems). He also contributed to the [situation calculus](/source/Situation_calculus).[3][1][4][5]

## Awards and honors

He was a [Fellow](/source/Fellow) of the [Association for Computing Machinery](/source/Association_for_Computing_Machinery) (ACM), an [AAAI Fellow](/source/AAAI_Fellow), and a [Fellow of the Royal Society of Canada](/source/Fellow_of_the_Royal_Society_of_Canada). He won the [IJCAI Award for Research Excellence](/source/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](/source/Artificial_Intelligence_(journal))*, 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](/source/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](/source/Journal_of_the_ACM)*, 46(3):325–361. [doi:10.1145/316542.316545](https://doi.org/10.1145/316542.316545)

## References

1. McIlraith, Sheila Ann (1997). ["Towards a formal account of diagnostic problem solving"](https://tspace.library.utoronto.ca/handle/1807/10895) (PhD). *utoronto.ca*. [hdl:1807/10895](https://hdl.handle.net/1807/10895). [OCLC 46561408](https://www.worldcat.org/oclc/46561408)

1. [In Memoriam - Raymond Reiter, by Jack Minker](http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html)[dead link]

1. [In Memory of Ray Reiter (1939-2002)](http://www.aaai.org/ojs/index.php/aimagazine/article/view/1672)

---
Adapted from the Wikipedia article [Raymond Reiter](https://en.wikipedia.org/wiki/Raymond_Reiter) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Raymond_Reiter?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.