Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Raymond Reiter
open-in-new
<p>Raymond Reiter <a href="/facts/Fellow_of_the_Royal_Society_of_Canada/80JypAJ7">FRSC</a> was a Canadian <a href="/facts/Computer_scientist/DavggjGL">computer scientist</a> and <a href="/facts/Logician/8JnpJLtt">logician</a>. He was one of the founders of the field of <a href="/facts/Non-monotonic_logic/spCh6Lco">non-monotonic reasoning</a> with his work on <a href="/facts/Default_logic/09U8E2yt">default logic</a>, <a href="/facts/Diagnosis_(Artificial_intelligence)/APkuH2aP">model-based diagnosis</a>, <a href="/facts/Closed-world_assumption/Fnoe5m4F">closed-world reasoning</a>, and <a href="/facts/Truth_maintenance_systems/9UNXvlo9">truth maintenance systems</a>. He also contributed to the <a href="/facts/Situation_calculus/dGcIavPa">situation calculus</a>. </p>