P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023