Career
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 Association for Computing Machinery (ACM), the Association for the Advancement of Artificial Intelligence, and the Royal Society of Canada.
