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 |