AOL: A Logic of (1998)

by G Lakemeyer, H J Levesque
Venue:Acting, Sensing, Knowing, and Only-Knowing'. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98