AOL: a logic of acting, sensing, knowing, and only knowing (1998)

by G Lakemeyer, H Levesque
Venue:In Proc. KR’98