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