Raymond Reiter | |
|---|---|
| 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] |
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]
- ^ a b c Raymond Reiter at the Mathematics Genealogy Project
- ^ McIlraith, Sheila Ann (1997). Towards a formal account of diagnostic problem solving. utoronto.ca (PhD thesis). hdl:1807/10895. OCLC 46561408.
- ^ Raymond Reiter at DBLP Bibliography Server
- ^ In Memoriam - Raymond Reiter, by Jack Minker
- ^ In Memory of Ray Reiter (1939-2002)
