H.J.: Congolog, a concurrent programming language based on the situation calculus. (2000)

by G De Giacomo, Y Lesperance, Levesque
Venue:Artificial Intelligence