Concepedia

Ray Reiter

RR

11

Publications

1.1K

Citations

11

H-Index

1991

Active since

Affiliations

University of Toronto(Current)

Sapienza University of Rome

Ray Reiter is an author at University of Toronto specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationIntelligent SystemsArtificial IntelligenceSemanticsData ScienceMachine Learning

Publications per year

1991–2019

11

Publications

11

State Constraints Revisited

FANGZEN LIN, Ray Reiter · Journal of Logic and Computation · 1994 · 228 citations

Theory Of Computing, Computational Logic, Constraint Solving +14

Symbolic dynamic programming for first-order MDPs

Craig Boutilier, Ray Reiter, Bob Price · 2001 · 211 citations

Some contributions to the metatheory of the situation calculus

Fiora Pirri, Ray Reiter · Journal of the ACM · 1999 · 201 citations

Engineering, Situational Reasoning, Automated Reasoning +13

How to progress a database

Fangzhen Lin, Ray Reiter · Artificial Intelligence · 1997 · 157 citations

Database Processing, Databases, Management +5

Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

John Mylopoulos, Ray Reiter · 1991 · 136 citations

Artificial Intelligence, Ai Architecture, International Joint Conference +10

Rows per page

1–5 of 11