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

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