A Correctness Result for Reasoning about One-Dimensional Planning Problems. Hu, Y. & Levesque, H. J. In Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning, 2010.
A Correctness Result for Reasoning about One-Dimensional Planning Problems [link]Link  bibtex   6 downloads  
@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}
}

Downloads: 6