Rome Lab talk
- Compute-Intensive Methods in AI:
New Opportunities for Planning, Reasoning, and Search.
- BlackBox: A New Approach to the Application of Theorem
Proving to Planning and Problem Solving.
Darpa briefing (.pdf)
- 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.
AI Meets Physics or .ppt