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.
- State of the Department
- University of Rochester Computer Science Seminar, 13 October 2008.
- Artificial Intelligence: A Perspective for the 21st Century
- September 15, 2008. Presented at the Kurzweilfest at R.I.T. Revised version with material about assisted cognition, for CS108 presentation.
- 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