@InProceedings{DBLP:conf/kr/HuL10,
  Title                    = {A Correctness Result for Reasoning about One-Dimensional
 Planning Problems},
  Author                   = {Yuxiao Hu and
 Hector J. Levesque},
  Booktitle                = {KR},
  Year                     = {2010},

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

{"_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","title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","author":[{"firstnames":["Yuxiao"],"propositions":[],"lastnames":["Hu"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"KR","year":"2010","bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270","timestamp":"2018.09.23","bibtex":"@InProceedings{DBLP:conf/kr/HuL10,\n Title = {A Correctness Result for Reasoning about One-Dimensional\n Planning Problems},\n Author = {Yuxiao Hu and\n Hector J. Levesque},\n Booktitle = {KR},\n Year = {2010},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Hu, Y.","Levesque, H. J."],"key":"DBLP:conf/kr/HuL10","id":"DBLP:conf/kr/HuL10","bibbaseid":"hu-levesque-acorrectnessresultforreasoningaboutonedimensionalplanningproblems-2010","role":"author","urls":{"Link":"http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270"},"metadata":{"authorlinks":{}},"downloads":6},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.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"]}