Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)Ronen Brafman, Hector Geffner, Joerg Hoffman, Henry Kautz · First published 2010Open the Tome
Human Behavior ModelingTanzeem Choudhury, Ashish Kapoor, Henry Kautz · First published 2009Open the Tome
Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)Henry Kautz · First published 2007Open the Tome
Reasoning about plansJames Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg · First published 1991Open the Tome
