Author: Yuxiao Hu [RDF, Bibtex, BibBase, BibGraph] has 4 publications
report error (So far 0 user(s) reported errors on this item)
See also:
- http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hu:Yuxiao.html is this correct?
- http://dblp.l3s.de/d2r/resource/authors/Yuxiao_Hu is this correct?
More links »
- http://acm.rkbexplorer.com/id/person-641764-5df024efc455f0e8c4214425970bd9b7 is this correct?
- « Hide Links.
A Correctness Result for Reasoning about One-Dimensional Planning Problems
Yuxiao Hu, Hector J. Levesque.
Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning
2010
Planning with Loops: Some New Results
Yuxiao Hu, Hector J. Levesque.
Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece
2009
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Jens Classen, Yuxiao Hu, Gerhard Lakemeyer.
Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07)
2007
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Jens Classen, Yuxiao Hu, Gerhard Lakemeyer.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada
956-961
2007