@InProceedings{Lakemeyer98,
  Title                    = {{AOL}: {A} logic of acting, sensing, knowing, and only
 knowing},
  Author                   = {Lakemeyer, G. and Levesque, H. J.},
  Booktitle                = {Principles of Knowledge Representation and Reasoning:
 Proceedings of the Sixth International Conference
 (KR'98)},
  Year                     = {1998},
  Pages                    = {316--327},

  File                     = {aol-kr98.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.pdf:PDF;aol-kr98.ps:http\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {aol-kr98.pdf}
}

{"_id":{"_str":"5342b4530e946d920a003346"},"__v":47,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibbaseid":"lakemeyer-levesque-aolalogicofactingsensingknowingandonlyknowing-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"AOL: A logic of acting, sensing, knowing, and only knowing","author":[{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["H.","J."],"suffixes":[]}],"booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)","year":"1998","pages":"316–327","file":"aol-kr98.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.pdf:PDF;aol-kr98.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps:PostScript","key":"Lakemeyer98","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps.gz","timestamp":"2018.09.23","url":"aol-kr98.pdf","bibtex":"@InProceedings{Lakemeyer98,\n Title = {{AOL}: {A} logic of acting, sensing, knowing, and only\n knowing},\n Author = {Lakemeyer, G. and Levesque, H. J.},\n Booktitle = {Principles of Knowledge Representation and Reasoning:\n Proceedings of the Sixth International Conference\n (KR'98)},\n Year = {1998},\n Pages = {316--327},\n\n File = {aol-kr98.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.pdf:PDF;aol-kr98.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/aol-kr98.ps.gz},\n Timestamp = {2018.09.23},\n Url = {aol-kr98.pdf}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"id":"Lakemeyer98","bibbaseid":"lakemeyer-levesque-aolalogicofactingsensingknowingandonlyknowing-1998","role":"author","urls":{"Paper":"www.cs.toronto.edu/kr/publications/aol-kr98.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["aol","logic","acting","sensing","knowing","knowing","lakemeyer","levesque"],"title":"AOL: A logic of acting, sensing, knowing, and only knowing","year":1998,"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}