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   

Downloads: 0