Ray Reiter

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Provably Correct

Logical Language

Fluent Calculus

Sensing Actions

Top Venues

Ann. Math. Artif. Intell.

Publications

Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. 88 (5-6) (2020)