Yuxiao Hu

Department of Computer Science University of Toronto Toronto , ON M5S3G4 , Canada

2 papers in the IJCAI proceedings

IJCAI 2011

A Correctness Result for Reasoning about One-Dimensional Planning Problems

with Hector J. Levesque

doi:10.5591/978-1-57735-516-8/IJCAI11-439

Details PDF

Generalized Planning: Synthesizing Plans that Work for Multiple Environments

with Giuseppe De Giacomo

doi:10.5591/978-1-57735-516-8/IJCAI11-159

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings