Raymond Reiter
(Redirected from Ray Reiter)
Jump to navigation
Jump to search
Raymond Reiter is a person.
- See: Non-Monotonic Logic, Default Logic, Model-Based Diagnosis, Closed World Assumption, Truth Maintenance Systems, Situation Calculus.
References
2017
- (Wikipedia, 2017) ⇒ https://en.wikipedia.org/wiki/Raymond_Reiter Retrieved:2017-6-6.
- 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.
- 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.
2001
- (Reiter, 1991) ⇒ Raymond Reiter. (1991). “The Frame Problem in Situation the Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression.” In: Artificial intelligence and mathematical theory of computation. ISBN:0-12-450010-2