@inproceedings{ LakemeyerLevesque1998AOL,
  title       = {{AOL}: a logic of acting, sensing, knowing, and only knowing},
  author      = {Lakemeyer, Gerhard and Levesque, Hector J.},
  booktitle   = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-98)},
  year        = {1998},
  urlPDF      = {https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1998.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":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]}],"booktitle":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-98)","year":"1998","urlpdf":"https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1998.pdf","bibtex":"@inproceedings{ LakemeyerLevesque1998AOL,\n title = {{AOL}: a logic of acting, sensing, knowing, and only knowing},\n author = {Lakemeyer, Gerhard and Levesque, Hector J.},\n booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-98)},\n year = {1998},\n urlPDF = {https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1998.pdf},\n}\n\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"LakemeyerLevesque1998AOL","id":"LakemeyerLevesque1998AOL","bibbaseid":"lakemeyer-levesque-aolalogicofactingsensingknowingandonlyknowing-1998","role":"author","urls":{"Pdf":"https://kbsg.rwth-aachen.de/sites/kbsg/files/lakemeyer1998.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.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"]}