An Incremental Interpreter for High-Level Programs with Sensing (1998)

by G De Giacomo, H J Levesque
Venue:Department of Computer Science, Stanford University