AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full KR paper archive.