Raymond Reiter FRSC (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.
| Born |
12 June 1939
|
| Died |
16 September 2002 (aged 63)
|
| Zodiac | Gemini |
| Tags | Add tag |