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

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