1997 - Fellow of the Royal Society of Canada
1997 - ACM Fellow Professor Reiter's fundamental contributions to artificial intelligence have important applications in perception, diagnostic reasoning, robotic control and database, and programming language semantics.
A logic for default reasoning
Raymond Reiter.
Artificial Intelligence (1987)
A theory of diagnosis from first principles
Raymond Reiter.
Artificial Intelligence (1987)
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
Raymond Reiter.
(2001)
On closed world data bases
R. Reiter.
Logic and Data Bases (1987)
GOLOG: A logic programming language for dynamic domains
Hector J. Levesque;Raymond Reiter;Yves Lespérance;Fangzhen Lin.
Journal of Logic Programming (1997)
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression
Raymond Reiter.
Artificial intelligence and mathematical theory of computation (1991)
Towards a Logical Reconstruction of Relational Database Theory
Raymond Reiter.
On Conceptual Modelling (Intervale) (1984)
Characterizing diagnoses and systems
Johan de Kleer;Alan K. Mackworth;Raymond Reiter.
Artificial Intelligence (1992)
Found ations of assumption-based truth maintenance systems: preliminary report
Raymond Reiter;Johan de Kleer.
national conference on artificial intelligence (1987)
State Constraints Revisited
Fangzhen Lin;Raymond Reiter.
Journal of Logic and Computation (1994)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Toronto
Hong Kong University of Science and Technology
University of British Columbia
University of Ottawa
Palo Alto Research Center
University of Southern California
Rutgers, The State University of New Jersey
University of Toronto
Google (United States)
Sapienza University of Rome
University of Padua
University at Buffalo, State University of New York
Xiamen University
National Chung Hsing University
Hefei University of Technology
Sichuan University
Örebro University
Université Catholique de Louvain
University of Adelaide
Georgia State University
University of Oxford
Oklahoma State University
University at Buffalo, State University of New York
University of Colorado Anschutz Medical Campus
Washington University in St. Louis
Florida International University