@article {KBSG_269,
        title = {A semantic characterization of a useful fragment of the situation calculus with knowledge},
        journal = {Artificial Intelligence},
        volume = {175},
        number = {1},
        year = {2011},
        pages = {142--164},
        publisher = {Elsevier},
        doi = {10.1016/j.artint.2010.04.005},
        author = {Lakemeyer, Gerhard and Levesque, Hector J.}
}

{"_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","journal":"Artificial Intelligence","volume":"175","number":"1","year":"2011","pages":"142–164","publisher":"Elsevier","doi":"10.1016/j.artint.2010.04.005","author":[{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]}],"bibtex":"@article {KBSG_269,\n title = {A semantic characterization of a useful fragment of the situation calculus with knowledge},\n journal = {Artificial Intelligence},\n volume = {175},\n number = {1},\n year = {2011},\n pages = {142--164},\n publisher = {Elsevier},\n doi = {10.1016/j.artint.2010.04.005},\n author = {Lakemeyer, Gerhard and Levesque, Hector J.}\n}\n\n\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"KBSG_269","id":"KBSG_269","bibbaseid":"lakemeyer-levesque-asemanticcharacterizationofausefulfragmentofthesituationcalculuswithknowledge-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.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"]}