ConGolog, a concurrent programming language based on the situation calculus

Cite this paper

@article{Giacomo2000ConGologAC, title={ConGolog, a concurrent programming language based on the situation calculus}, author={Giuseppe De Giacomo and Yves Lesp{\'e}rance and Hector J. Levesque}, journal={Artif. Intell.}, year={2000}, volume={121}, pages={109-169} }