An incremental interpreter for high-level programs with sensing (1999)

by G De Giacomo, H J Levesque
Venue:In Logical Foundations for Cognitive Agents