Authors: De Giacomo, G Lesperance, Y Levesque, HJ

Citation: G. De Giacomo et al., ConGolog, a concurrent programming language based on the situation calculus, ARTIF INTEL, 121(1-2), 2000, pp. 109-169

Authors: Bacchus, F Halpern, JY Levesque, HJ

Citation: F. Bacchus et al., Reasoning about noisy sensors and effecters in the situation calculus, ARTIF INTEL, 111(1-2), 1999, pp. 171-208

Authors: Lesperance, Y Levesque, HJ Reiter, R

Citation: Y. Lesperance et al., A situation calculus approach to modeling and programming agents, APPL LOG S, 14, 1999, pp. 275-299