Henry Kautz

Reasoning about plans

2014

Proceedings of the Twentieth I

Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)

2010

Human Behavior Modeling

Human Behavior Modeling

2009

Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)

2007