World's Best Scientists 2026 revealed!
Raymond Reiter

Raymond Reiter

D-Index & Metrics

Computer Science

D-Index
53
Citations
27925
World Ranking
4676
National Ranking
187

Research.com Recognitions

  • 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.
  • 1997 - Fellow of the Royal Society of Canada

Overview

Raymond Reiter was affiliated with the University of Toronto in Canada, where their work contributed to the field of computer science and artificial intelligence. Their research spanned various aspects of these disciplines, contributing to foundational developments in reasoning and semantics within computing systems.

Reiter was recognized for significant contributions to artificial intelligence, with applications extending to perception, diagnostic reasoning, robotic control, database systems, and programming language semantics. These areas reflect an interdisciplinary approach that connected theoretical foundations with practical implementation challenges in AI and computer science.

The scientist received notable honors during their career. In 1997, they were named a Fellow of the Royal Society of Canada. In the same year, they were also recognized as an ACM Fellow, with the citation highlighting their fundamental contributions to artificial intelligence and its diverse applications.

Although specific details about Raymond Reiter's publications, coauthors, fields of study, and topics are unavailable, the distinctions awarded indicate an impactful career in advancing computational reasoning and its real-world applications.

Best Publications

  • A logic for default reasoning

    Raymond Reiter

  • A theory of diagnosis from first principles

    Raymond Reiter

  • Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

    Raymond Reiter

  • On closed world data bases

    R. Reiter

  • GOLOG: A logic programming language for dynamic domains

    Hector J. Levesque;Raymond Reiter;Yves Lespérance;Fangzhen Lin

  • The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

    Raymond Reiter

  • Towards a Logical Reconstruction of Relational Database Theory

    Raymond Reiter

  • Characterizing diagnoses and systems

    Johan de Kleer;Alan K. Mackworth;Raymond Reiter

  • Found ations of assumption-based truth maintenance systems: preliminary report

    Raymond Reiter;Johan de Kleer

  • State Constraints Revisited

    Fangzhen Lin;Raymond Reiter

  • Foundations for the Situation Calculus.

    Hector J. Levesque;Fiora Pirri;Raymond Reiter

  • Symbolic dynamic programming for first-order MDPs

    Craig Boutilier;Ray Reiter;Bob Price

  • On interacting defaults

    Raymond Reiter;Giovanni Criscuolo

  • Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

    Craig Boutilier;Raymond Reiter;Mikhail Soutchanski;Sebastian Thrun

  • Some contributions to the metatheory of the situation calculus

    Fiora Pirri;Ray Reiter

  • On inheritance hierarchies with exceptions

    David W. Etherington;Raymond Reiter

  • On the frame problem in procedure specifications

    A. Borgida;J. Mylopoulos;R. Reiter

  • Scheduling Parallel Computations

    Unknown

  • Natural actions, concurrency and continuous time in the situation calculus

    Raymond Reiter

  • A logical framework for depiction and image interpretation

    Raymond Reiter;Alan K. Mackworth

  • How to progress a database

    Fangzhen Lin;Ray Reiter

Frequent Co-Authors

Hector J. Levesque
Hector J. Levesque University of Toronto
Alan K. Mackworth
Alan K. Mackworth University of British Columbia
John Mylopoulos
John Mylopoulos University of Ottawa
Johan de Kleer
Johan de Kleer Palo Alto Research Center
Daniel Marcu
Daniel Marcu University of Southern California
Alexander Borgida
Alexander Borgida Rutgers, The State University of New Jersey
Sheila A. McIlraith
Sheila A. McIlraith University of Toronto
Giuseppe De Giacomo
Giuseppe De Giacomo Sapienza University of Rome
Michael Jenkin
Michael Jenkin York University
Craig Boutilier
Craig Boutilier Google (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

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:

Related Online Degrees & Career Pathways

Exploring computer science opens doors to a wide range of in-demand careers and flexible learning options. For learners seeking cost-effective routes, consider the cheapest data science degree programs in the USA, which can kickstart careers in data analytics, machine learning, and AI without a hefty tuition bill.

If your interests lean toward hardware, systems, or advanced computing, pursuing an online master’s in electrical engineering degree offers valuable skills with the flexibility to study remotely. Professionals looking for rapid career advancement can boost their credentials by earning certifications that pay well—many of which require less time and financial investment than full degrees.

Additionally, if speed is your priority, various universities provide the fastest online master's degree programs, letting you graduate and enter the workforce more quickly. Each of these pathways equips you with relevant, industry-driven skills and provides strong job opportunities in the tech sector.

Best Scientists Citing Raymond Reiter