Arnold L. Rosenberg
Journal of the ACM
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
Zahra Ashktorab, Djallel Bouneffouf, et al.
IJCAI 2025
P.C. Yue, C.K. Wong
Journal of the ACM
Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995