Gerhard Lakemeyer, Hector J. Levesque
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
KR, 1998.
@inproceedings{KR-1998-LakemeyerL,
author = "Gerhard Lakemeyer and Hector J. Levesque",
booktitle = "{Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning}",
pages = "316--329",
publisher = "{Morgan Kaufmann}",
title = "{AOL: A logic of Acting, Sensing, Knowing, and Only Knowing}",
year = 1998,
}