Invited Talks

Rome Lab talk
Compute-Intensive Methods in AI: New Opportunities for Planning, Reasoning, and Search.
AIPS-98 talk table competition
BlackBox: A New Approach to the Application of Theorem Proving to Planning and Problem Solving.
Darpa briefing (.pdf) (.ps version)
Computational Challenges in Artificial Intelligence.
Blackbox planning talk
BlackBox: A new paradigm for planning.
Blackbox, extended talk
Encoding Domain Knowledge in the Planning as Satisfiability Framework.
Talk: AI Meets Physics or .ppt