Raymond Reiter

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.

He was a fellow of the ACM, the AAAI, and the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993.

Works

External links


This article is issued from Wikipedia - version of the Saturday, February 13, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.