@InProceedings{DBLP:conf/kr/LakemeyerL12,
  Title                    = {Only-Knowing Meets Nonmonotonic Modal Logic},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {KR},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},
  Timestamp                = {2018.09.23}
}

{"_id":{"_str":"5342b4520e946d920a00331e"},"__v":34,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibbaseid":"lakemeyer-levesque-onlyknowingmeetsnonmonotonicmodallogic-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Only-Knowing Meets Nonmonotonic Modal Logic","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"KR","year":"2012","bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507","timestamp":"2018.09.23","bibtex":"@InProceedings{DBLP:conf/kr/LakemeyerL12,\n Title = {Only-Knowing Meets Nonmonotonic Modal Logic},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Booktitle = {KR},\n Year = {2012},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/kr/LakemeyerL12","id":"DBLP:conf/kr/LakemeyerL12","bibbaseid":"lakemeyer-levesque-onlyknowingmeetsnonmonotonicmodallogic-2012","role":"author","urls":{"Link":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["knowing","meets","nonmonotonic","modal","logic","lakemeyer","levesque"],"title":"Only-Knowing Meets Nonmonotonic Modal Logic","year":2012,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}