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

by G Lakemeyer, H J Levesque
Venue:In Proc. of KR'98