Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
The density functional theory and molecular dynamics (DFT-MD) method and of a CMPD parallel code is presented based on a plane wave scheme. Its power is shown through the survey of specific applications to diverse frontier areas of chemistry and materials science that make use of parallel computing.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
Cristina Cornelio, Judy Goldsmith, et al.
JAIR
Ran Iwamoto, Kyoko Ohara
ICLC 2023