Search Results - Reiter, Raymond

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
Refine Results
  1. 1
    Knowledge in action logical foundations for specifying and implementing dynamical systems

    Knowledge in action logical foundations for specifying and implementing dynamical systems by Reiter, Raymond

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: