LakemeyerL98'

@inproceedings{DBLP:conf/kr/LakemeyerL98,
  author    = {Gerhard Lakemeyer and
               Hector J. Levesque},
  title     = {AOL: A logic of Acting, Sensing, Knowing, and Only Knowing},
  booktitle = {KR},
  year      = {1998},
  pages     = {316-329},
  crossref  = {DBLP:conf/kr/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kr/1998,
  editor    = {Anthony G. Cohn and
               Lenhart K. Schubert and
               Stuart C. Shapiro},
  title     = {Proceedings of the Sixth International Conference on Principles
               of Knowledge Representation and Reasoning (KR'98), Trento,
               Italy, June 2-5, 1998},
  booktitle = {KR},
  publisher = {Morgan Kaufmann},
  year      = {1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}