Concepedia

Author

Ray Reiter

University of Toronto

Also Known As

RAY REITER, Ray Reiter

22

Publications

1.2K

Citations

12

H-Index

24

Concepts

All Affiliations

University of TorontoSapienza University of Rome
RR

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

699

2

Computer Science

5

5

677

3

Artificial Intelligence

3

3

248

4

Data Science

2

2

160

5

Management

1

1

157

Ray Reiter

×

11

Publications

1.1K

Citations

11

H-Index

YearCitations

State Constraints Revisited

FANGZEN LIN, Ray Reiter

Journal of Logic and Computation

1994

228

Symbolic dynamic programming for first-order MDPs

Craig Boutilier, Ray Reiter, Bob Price

2001

211

Some contributions to the metatheory of the situation calculus

Fiora Pirri, Ray Reiter

Journal of the ACM

1999

201

How to progress a database

Fangzhen Lin, Ray Reiter

Artificial Intelligence

1997

157

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

John Mylopoulos, Ray Reiter

1991

136

On knowledge-based programming with sensing in the situation calculus

Ray Reiter

ACM Transactions on Computational Logic

2001

88

IJCAI-91: proceedings of the twelfth International Joint Conference on Artificial Intelligence : Darling Harbour, Sydney, Australia, 24-30 august 1991

Ray Reiter, John Mylopoulos

Dialnet (Universidad de la Rioja)

1991

24

How to progress a database II: the STRIPS connection

Fangzhen Lin, Ray Reiter

1995

22

Rules as actions: A situation calculus semantics for logic programs

Fangzhen Lin, Ray Reiter

The Journal of Logic Programming

1997

22

Non-terminating processes in the situation calculus

Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter

Annals of Mathematics and Artificial Intelligence

2019

12

Page 1