Talks by Henry Kautz

Talks are stored as Postscript (.ps), Adobe Acrobat (.pdf), or Microsoft Powerpoint (.ppt) format. You can obtain the free GSView or Ghostview programs to view and print the PostScript files (including printing on non-Postscript printers) from the Ghostscript Home Page. The free Adobe Acrobat reader for all platforms can be obtained from Adobe home page.

MURI Kickoff: UR
Include these video clips: henry8.mpg and goal-prediction.avi
Personalized Medicine Research at the University of Rochester
May 28, 2008. Video clip of compliance prompting.
The New Age of Commonsense Reasoning
February, 2008. Video clips: henry8.avi error.avi goal-prediction.avi henry8_NEW.wmv
Assisted Cognition
Overview talk for CS 200, prepared Sept 2007.
Introduction to the Workshop on Intelligent Systems for Assisted Cognition
Workshop on Intelligent Systems for Assisted Cognition, Rochester, NY, October 12-13, 2007.
Technology to support psychosocial self-management
Autism Speaks Workshop on Technology, Seattle, October, 2007.
Deconstructing Planning as Satisfiability: A Revised Report
Workshop on Search and Logic: Answer Set Programming and SAT (LaSh 2006), Seattle, August 16, 2006.
Deconstructing Planning as Satisfiability
Proceedings of the Twenty-first National Conference on Artificial Intelligence (AAAI-2006), Boston, MA.
Understanding Human Behavior from Sensor Data
Invited Talk, ICAPS-2005 (International Conference on AI Planning and Scheduling), Monterey, CA, June 6-10, 2005. Revised version: Distinguished Lecture, University of British Columbia, March 2006. Here is a revised version focusing more on medical applications. Here is a zip file containing presentation and avi files (large). Here is a newly revised version that includes some information about Kodak Research Laboratories.
Modeling Speech Acts and Joint Intentions in Modal Markov Logic.
Talk to the CALO meeting understanding workshop, 13 February 2006, Seattle, WA..
Creating Dynamic Social Network Models from Sensor Data.
Talk to the UW CSE faculty lunch, January 12, 2005.
What is Assisted Cognition?
DARPA Workshop on Assisted Cognition Technology for Persons with Traumatic Brain Injury (TBI), November 7, 2005, Bethesda, MD.
Project ACCESS
DARPA Workshop on Assisted Cognition Technology for Persons with Traumatic Brain Injury (TBI), November 7, 2005, Bethesda, MD.
Modeling Speech Acts and Joint Intentions in Markov Logic.
August 28, 2005
The Assisted Cognition Project
July 26, 2005
Performing Bayesian Inference by Weighted Model Counting
Twentieth National Conference on Artificial Intelligence (AAAI-2005) , Pittsburgh, PA, July 2005.
Heuristics for Fast Exact Model Counting
Eighth International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, June 2005.
Recognizing Human Activity from Sensor Data
Converging Technologies for Improving Human Performance, Kailua-Kona, Hawaii, February 2005.
Opportunity Knocks: A Community Navigation Aid
ACCESS Symposium, September 2004, University of Washington, Seattle.
Assisted Cognition (Opportunity Knocks)
Perspectives from Technology: A Research Planning Workshop for ETAC (Everyday Technologies for Alzheimer Care).  Philadelphia, PA, July 16, 2004.
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang (UW), Fahiem Bacchus (U Toronto), Paul Beame (UW), Henry Kautz (UW), & Toniann Pitassi (U Toronto).  Seventh International Conference on Theory and Applications of Satisfiability Testing, Vancouver, Canada, 2004.
Robust Activity Recognition
Cornell University, April 2004; Stanford University, March 2004.
Toward a Universal Inference Engine
Carnegie-Mellon University, March, 2004; Invited talk, the Eighth International Symposium on Artificial Intelligence and Mathematics, Florida, January 2004.
Opportunity Knocks
Poster for Congressional Demo Session of Technology for Aging, at AAHA Future of Aging Services, Washington, DC, March 15-17, 2004
Ten Challenges Redux
CP-2003, Cork, Ireland, 2003.
Hardness-aware restart policies.
IJCAI-03 Workshop on Stochastic Search, Acapulco, Mexico, 2003.
Plan Recognition
ISAT, March 4-5, 2003.
Assisted Cognition 
Short version for Samsung talk, March 2003.
Assisted Cognition 
UW CSE colloquium for December 4th, 2002.
The Acitivity Compass.
Presented at Gerontechnology 2002, Nov. 2002, Miami, Florida.
Will Androids Dream of Electric Sheep?
A short popular overview of artificial intelligence, given before a showing of BladeRunner in the UW Chemistry Dept.'s Science and the Movies series.
Making Sense of Sensors: or, Climbing the Data Interpretation Food Chain.
Presented at Rome Air Force Research Laboratory, August 22, 2002.
Dynamic Restart Policies
Presented at AAAI-02, 2002.
Balance and Filtering in Structured Satisfiable Problems.
Presented at IJCAI-2001, Seattle, WA.
Learning to Search.
Presented at the Workshop on Stochastic Search, IJCAI-2001, Seattle, WA.
Generating Satisfiable Problem Instances.
Presented at AAAI-2000 Austin, Texas.
Five Reasons to be Excited About Artificial Intelligence.
Overview presented to incoming students, Autumn 2001.
Satisfiability and State-Transition Systems: An AI Perspective.
Invited Talk, 17th International Conference on Automated Deduction (CADE-17), June 17-20, 2000, Pittsburgh, Pennsylvania.
Compilation of Distributed Constraint Satisfaction Problems.
Presented at the DARPA Workshop on Real-time and Dynamic Behavior of Autonomous Negotiating Teams (ANTs), Washington, DC, Sept 1999.
Unifying SAT-based and Graph-based Planning.
Presented at IJCAI-99, Stockholm.
AAAI-99 Tutorial on Advances in Reasoning and Search for Model-Based Autonomous Systems
Scalable Knowledge Representations Systems.
Seminar presented at U. Washington, 1999.
Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search.
Joint talk with Bart Selman.
Creating Models of Real-World Communities with ReferralWeb.
Presented at the 1998 AAAI Workshop on Recommender Systems., and at the 1998 NEC Symposium.
The Role of Domain Specific Knowledge in the Planning as Satisfiability Framework.
Presented at AIPS-98, Pittsburgh, PA.
Compute-Intensive Methods in Artificial Intelligence.
Tutorial given at the Fourteenth National Conference on Artificial Intelligence (AAAI-97), Providence, RI, 1997. Joint talk with Bart Selman.
The Nature of Experimentation in AI and Computer Science.
Presented at the Workshop on Empirical AI, part of IJCAI-97, Nagoya, Japan. Powerpoint version.
Agent Amplified Communication.
Talk given at the Fifth International World Wide Web Conference (WWW5), Paris, 1996.
Bridging the Gap Between Theory and Applications in Knowledge Representation Research.
Slides from invited talk at ECAI-92.
Efficient Propositional Reasoning .
Lecture notes on satisfiability testing and complexity.
Knowledge Compilation .
Talk on knowledge compilation by Horn approximations.

Back to my personal home page page.     kautz@cs.washington.edu