@Article{DBLP:journals/ai/LakemeyerL11,
  Title                    = {A semantic characterization of a useful fragment of the
 situation calculus with knowledge},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2011},
  Number                   = {1},
  Pages                    = {142-164},
  Volume                   = {175},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2010.04.005},
  Timestamp                = {2018.09.23}
}

{"_id":{"_str":"534298d80e946d920a0021b5"},"__v":43,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibbaseid":"lakemeyer-levesque-asemanticcharacterizationofausefulfragmentofthesituationcalculuswithknowledge-2011","bibdata":{"bibtype":"article","type":"article","title":"A semantic characterization of a useful fragment of the situation calculus with knowledge","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"journal":"Artif. Intell.","year":"2011","number":"1","pages":"142-164","volume":"175","bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://dx.doi.org/10.1016/j.artint.2010.04.005","timestamp":"2018.09.23","bibtex":"@Article{DBLP:journals/ai/LakemeyerL11,\n Title = {A semantic characterization of a useful fragment of the\n situation calculus with knowledge},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Journal = {Artif. Intell.},\n Year = {2011},\n Number = {1},\n Pages = {142-164},\n Volume = {175},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://dx.doi.org/10.1016/j.artint.2010.04.005},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:journals/ai/LakemeyerL11","id":"DBLP:journals/ai/LakemeyerL11","bibbaseid":"lakemeyer-levesque-asemanticcharacterizationofausefulfragmentofthesituationcalculuswithknowledge-2011","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.artint.2010.04.005"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["semantic","characterization","useful","fragment","situation","calculus","knowledge","lakemeyer","levesque"],"title":"A semantic characterization of a useful fragment of the situation calculus with knowledge","year":2011,"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}