@inproceedings{hu10_1d,
  author    = {Yuxiao Hu and
               Hector J. Levesque},
  title     = {A Correctness Result for Reasoning about One-Dimensional
               Planning Problems},
  booktitle = {Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning},
  year      = {2010},
  ee        = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270}
}

{"_id":{"_str":"5342b4530e946d920a00335f"},"__v":32,"authorIDs":["5457077c8b01c81930000124","545aa113b43425b77200103d","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe","w4t3wcFdcECFD2TSt"],"author_short":["Hu, Y.","Levesque, H. J."],"bibbaseid":"hu-levesque-acorrectnessresultforreasoningaboutonedimensionalplanningproblems-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yuxiao"],"propositions":[],"lastnames":["Hu"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","booktitle":"Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning","year":"2010","ee":"http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270","bibtex":"@inproceedings{hu10_1d,\n author = {Yuxiao Hu and\n Hector J. Levesque},\n title = {A Correctness Result for Reasoning about One-Dimensional\n Planning Problems},\n booktitle = {Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning},\n year = {2010},\n ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270}\n}\n\n\n","author_short":["Hu, Y.","Levesque, H. J."],"key":"hu10_1d","id":"hu10_1d","bibbaseid":"hu-levesque-acorrectnessresultforreasoningaboutonedimensionalplanningproblems-2010","role":"author","urls":{"Link":"http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270"},"metadata":{"authorlinks":{}},"downloads":6,"html":""},"bibtype":"inproceedings","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":6,"keywords":[],"search_terms":["correctness","result","reasoning","one","dimensional","planning","problems","hu","levesque"],"title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","year":2010,"dataSources":["2LLKDfkxMDdABm58M","BBkjciKCmRFKkzdZa","optQ3PYGE2PxhriFJ","ivTWmqfM6xcSHRfBa","vAo9zFmkx4MpPsgha"]}