Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
The paper presents an extension of MODULA-2 for objectoriented programming. After presenting a set of criteria for object-oriented languages, it discusses several possible strategies for extending MODULA-2. One of these strategies is then further developed and formalized in a new programming notation, MODULA-90. © 1990.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Bing Zhang, Mikio Takeuchi, et al.
ICAIF 2024
Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
Merve Unuvar, Yurdaer Doganata, et al.
CLOUD 2014