Raymond Reiter
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.
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 |
| Doctoral students | Sheila McIlraith |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.