Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 2 of
2
with 100 items per page.
- Raymond_Reiter abstract "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 comment "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.".