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

by G De Giacomo, Y Lsperance, H Levesque
Venue:Artificial Intelligence