ConGolog, a concurrent programming language based on the situation calculus (2000)

by G De Giacomo, Y Lespérance, H Levesque
Venue:Artificial Intelligence