ConGolog, A Concurrent Programming Language Based on the Situation Calculus. De Giacomo, G., Lespérance, Y., & Levesque, H. Artificial Intelligence, 121(1–2):109–169, 2000.
ConGolog, A Concurrent Programming Language Based on the Situation Calculus [pdf]Paper  bibtex   2 downloads  

Downloads: 2