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. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Reiter, Raymond', query time: 0.01s Refine Results
  1. 1

    Knowledge representation /

    Published 1992
    Other Authors:
    Book