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
Rei Odaira, Jose G. Castanos, et al.
IISWC 2013
Aditya Saxena, Shambhavi Shanker, et al.
AGU 2025
Basel Shbita, Pengyuan Li, et al.
ESWC 2026