@InProceedings{ClassenHuLakemeyer2007PDDL,
  Title                    = {A Situation-Calculus Semantics for an Expressive Fragment of
PDDL},
  Author                   = {Jens Classen and Yuxiao Hu and Gerhard Lakemeyer},
  Booktitle                = {Proceedings of the Twentysecond Conference on Artificial Intelligence
(AAAI-07)},
  Year                     = {2007},
  Note                     = {to appear},
  Publisher                = {AAAI Press},

  Timestamp                = {2018.09.23},
  Url                      = {ClassenHuLakemeyer2007PDDL.pdf}
}

{"_id":{"_str":"5342b4530e946d920a003347"},"__v":29,"authorIDs":["5457077c8b01c81930000124","54575ce32abc8e9f37000307","545892fdb43425b7720000f3","5e3902b8dc5b8ade010000a6"],"author_short":["Classen, J.","Hu, Y.","Lakemeyer, G."],"bibbaseid":"classen-hu-lakemeyer-asituationcalculussemanticsforanexpressivefragmentofpddl-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Situation-Calculus Semantics for an Expressive Fragment of PDDL","author":[{"firstnames":["Jens"],"propositions":[],"lastnames":["Classen"],"suffixes":[]},{"firstnames":["Yuxiao"],"propositions":[],"lastnames":["Hu"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"booktitle":"Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07)","year":"2007","note":"to appear","publisher":"AAAI Press","timestamp":"2018.09.23","url":"ClassenHuLakemeyer2007PDDL.pdf","bibtex":"@InProceedings{ClassenHuLakemeyer2007PDDL,\n Title = {A Situation-Calculus Semantics for an Expressive Fragment of\nPDDL},\n Author = {Jens Classen and Yuxiao Hu and Gerhard Lakemeyer},\n Booktitle = {Proceedings of the Twentysecond Conference on Artificial Intelligence\n(AAAI-07)},\n Year = {2007},\n Note = {to appear},\n Publisher = {AAAI Press},\n\n Timestamp = {2018.09.23},\n Url = {ClassenHuLakemeyer2007PDDL.pdf}\n}\n\n","author_short":["Classen, J.","Hu, Y.","Lakemeyer, G."],"key":"ClassenHuLakemeyer2007PDDL","id":"ClassenHuLakemeyer2007PDDL","bibbaseid":"classen-hu-lakemeyer-asituationcalculussemanticsforanexpressivefragmentofpddl-2007","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/ClassenHuLakemeyer2007PDDL.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["situation","calculus","semantics","expressive","fragment","pddl","classen","hu","lakemeyer"],"title":"A Situation-Calculus Semantics for an Expressive Fragment of PDDL","year":2007,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}