Raymond Reiter Explained

Birth Date:12 June 1939
Fields:Non-monotonic logic
Workplaces:University of Toronto
Alma Mater:University of Michigan (PhD)
Thesis Title:A Study of a Model for Parallel Computations
Thesis Url:https://dl.acm.org/citation.cfm?id=905071
Thesis Year:1967
Doctoral Advisor:Harvey Garner
Richard M. Karp
Doctoral Students:Sheila McIlraith[1]
Awards:ACM Fellow
AAAI Fellow
IJCAI Award for Research Excellence
Spouses:)-->
Partners:)-->

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.[2] [3]

Awards and honors

He was a Fellow of the Association for Computing Machinery (ACM), an AAAI Fellow, and a Fellow of the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.

Publications

Notes and References

  1. Sheila Ann. McIlraith. 1997. Towards a formal account of diagnostic problem solving. 1807/10895. utoronto.ca. 46561408. PhD.
  2. http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html In Memoriam - Raymond Reiter, by Jack Minker
  3. http://www.aaai.org/ojs/index.php/aimagazine/article/view/1672 In Memory of Ray Reiter (1939-2002)