Talks |
 |
- Toward a Rochester Center for Data Science
- Hajim School of Engineering & Applied Sciences Dean's Advisory Committee, April 29, 2013.
- Tracking and Predicting the Spread of Disease using Social Media
- UR Phelps Colloquium, February 2013.
- State of the Department 2012
- University of Rochester Department of Computer Science, November 2012.
- What is Computer Science?
- E10X presentation, September 2012.
- Modeling Human Behavior at a Large Scale
- Keynote: UBICOMP 2012 Workshop on Situation, Active, and Goal Awareness, Pittsburgh, September 2012.
- Revisiting the Dream
- AAAI 2012 Presidential Address, Toronto, Canada, 2012. Keynote version.
- Creating a Corpus for a Conversational Assistant for Everyday Tasks
- AAAI 2012 Workshop on Grounded Language Acquisition, Toronto, 2012. Keynote format.
- Finding Your Friends and Following Them to Where You Are
- Fifth ACM International Conference on Web Search and Data Mining (WSDM 2012), Seattle, WA, 2012.
- State of the Department 2011
- University of Rochester Department of Computer Science, November 2011. Keynote format.
- What is Computer Science?
- Presentation for freshman engineering students EAS10X, October 2011
- Constraint Propagation for Efficient Inference in Markov Logic
- 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, Italy, September 2011
- SAT and AI: A Tutorial for the 2011 SAT/SMT Summer School
- First International SAT/SMT Solver Summer School 2011, MIT, Boston, June 2011.
- The Future Will Be Stranger
- URCS Graduation, May 2001. Video clips: first, second.
- Probabilistic Activity and Plan Recognition
- Dagstuhl, April 2010
- Event Recognition Using Markov Logic
- ObjectVideo Kickoff. AVI file.
- Technologies to Improve Quality of Life for People with Cognitive Disabilities
- Tenth Annual Coleman Institute Conference (Keynote), Boulder, Colorado, October 2010. Presentation includes video clip of PEAT in Quicktime or Windows Media format.
- Recognizing Multi-Agent Activities from GPS Data
- IPAM Machine Reasoning Workshop: Mission Focused Representation and Understanding of Complex Real-World Data, UCLA Institute for Pure and Applied Mathematics, Los Angeles, September 2010. Video clips from presentation: goal-prediction.avi CTF-visualization-over-google-maps-zoomed.mov CTF-visualization-over-google-maps.mov
- Where are you going, what are you doing, and who are you doing it with?
- University of Texas at Austin, February 2010.
- Customizing Directions in an Automated Wayfinding System for Individuals with Cognitive Impairment
- Alan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry Kautz, and Kurt Johnson. Assets '09: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, Pittsburgh, PA, 2009.
- Presentation for Abduction MURI workshop
- October 31, 2009. Videos: Mac: 1, 2, 3. Windows: 1, 2, 3. Zip file of ppt and videos.
- Overview of the Laboratory for Assisted Cognition Environments
- January 2009.
- 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. Revised version for CS400 presentation.
- 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 Henry Kautz's home page