Golog: A logic programming language for dynamic domains (1997)

by Hector J Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B Scherl
Venue:0. Introduction and Summary