@inproceedings{ Lakemeyer98,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps}
}
,
  author = {Lakemeyer, G. and Levesque, H. J.}
}
,
  url = {aol-kr98.pdf}
}
,
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)}
}
,
  title = {AOL: A logic of acting, sensing, knowing, and only knowing}
}
,
  key = {CogRobo}
}
,
  year = {1998}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.pdf}
}
,
  pages = {316--327}
}