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.

He won the IJCAI Award for Research Excellence in 1993.

This biographical article relating to a Canadian computer specialist is a stub.