Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Raymond Reiter
open-in-new
><h2 id="awards-and-honors">Awards and honors</h2> <p>He was a <a href="/facts/Fellow/DLThQbkq">Fellow</a> of the <a href="/facts/Association_for_Computing_Machinery/abI2atlP">Association for Computing Machinery</a> (ACM), an <a href="/facts/AAAI_Fellow/R0b95EuG">AAAI Fellow</a>, and a <a href="/facts/Fellow_of_the_Royal_Society_of_Canada/80JypAJ7">Fellow of the Royal Society of Canada</a>. He won the <a href="/facts/IJCAI_Award_for_Research_Excellence/WQ7lXQ87">IJCAI Award for Research Excellence</a> in 1993. </p> <h2 id="publications">Publications</h2> <ul><li>R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, <i>Logic and Data Bases</i>, pages 119–140. Plenum., New York.</li> <li>R. Reiter (1980). A logic for default reasoning. <i><a href="/facts/Artificial_Intelligence_(journal)/bSIa7D9U">Artificial Intelligence</a></i>, 13:81-132.</li> <li>R. Reiter (1987). A theory of diagnosis from first principles. <i>Artificial Intelligence</i>, 32:57-95.</li> <li>R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, <i>Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy</i>, pages 359–380. Academic Press, New York.</li> <li>R. Reiter (2001) <i>Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems</i> (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England.</li> <li>R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In <i>Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)</i>, pages 183–188.</li> <li>H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the situation calculus <i><a href="/facts/Electronic_Transactions_on_Artificial_Intelligence/QazgtP1n">Electronic Transactions on Artificial Intelligence</a></i>, 2(3–4):159-178.</li> <li>F. Pirri and R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus <i><a href="/facts/Journal_of_the_ACM/qkIF9LLS">Journal of the ACM</a></i>, 46(3):325–361. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F316542.316545">10.1145/316542.316545</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Raymond Reiter at DBLP Bibliography Server <a href="https://dblp.org/pid/r/RaymondReiter" target="_blank">https://dblp.org/pid/r/RaymondReiter</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Raymond Reiter at the Mathematics Genealogy Project <a href="https://mathgenealogy.org/id.php?id=5481" target="_blank">https://mathgenealogy.org/id.php?id=5481</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>In Memoriam - Raymond Reiter, by Jack Minker <a href="http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html" target="_blank">http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>In Memory of Ray Reiter (1939-2002) <a href="http://www.aaai.org/ojs/index.php/aimagazine/article/view/1672" target="_blank">http://www.aaai.org/ojs/index.php/aimagazine/article/view/1672</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>