Papers

press

 

2012

Adam Sadilek, Henry Kautz & Jeffrey P. Bigham (2012). Finding Your Friends and Following Them to Where You Are. Fifth ACM International Conference on Web Search and Data Mining. Seattle, WA.

A.  Sadilek and H.  Kautz (2012). "Location-Based Reasoning about Complex Multi-Agent Behavior", Journal of Artificial Intelligence Research (JAIR), vol. 43, pp. 87-133.

2011

Tivadar Papai, P. Singla, and Henry Kautz (2011). Constraint Propagation for Efficient Inference in Markov Logic. J. Lee (Ed.): Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), LNCS 6876, pp. 691705. Springer, Heidelberg.

Yi Chu, Young Chol Song, Henry Kautz, & Richard Levinson (2011). When Did You Start Doing That Thing That You Do? Interactive Activity Recognition and Prompting. AAAI 2011 Workshop on Artificial Intelligence and Smarter Living: The Conquest of Complexity, San Francisco, August 2011.

2010

Adam Sadilek & Henry Kautz (2010). Recognizing Multi-Agent Activities from GPS Data. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, July 11–15, 2010, Atlanta, Georgia. Published by The AAAI Press, Menlo Park, CA.

Adam Sadilek & Henry Kautz (2010). Modeling and Reasoning about Success, Failure and Intent of Multi-Agent Activities. UbiComp 2010 Workshop on Mobile Context-Awareness, Copenhagen, Denmark, Sept. 2010.

A.L. Liu, G. Borriello, H. Kautz, P.A. Brown, M. Harniss, & K. Johnson. Learning User Models to Improve Wayfinding Assistance for Individuals with Cognitive Impairment. Workshop on Interactive Systems in Healthcare, Atlanta, GA, USA, April 2010.

2009

Ross Messing, Chris Pal, & Henry Kautz (2009). Activity recognition using the velocity histories of tracked keypoints. The Twelfth IEEE International Conference on Computer Vision (ICCV 2009), Kyoto, 2009.

Alan L. Liu , Harlan Hile, Gaetano Borriello, Henry Kautz, Pat A. Brown, Mark Harniss, and Kurt Johnson (2009). Informing the Design of an Automated Wayfinding System for Individuals with Cognitive Impairments. Proceedings of Pervasive Health '09, London UK, April 1-3, 2009.

A.L. Liu, H. Hile, G. Borriello, P.A. Brown, M. Harniss, H. Kautz, K. Johnson (2009). Customizing Directions in an Automated Wayfinding System for Individuals with Cognitive Impairments. Proceedings of the International Conference on Computers and Accessibility, ASSETS 2009. Pittsburgh, PA, USA. October 2009. Slides.

A.L. Liu, H. Hile, G. Borriello, H. Kautz, P.A. Brown, M. Harniss, K. Johnson (2009). Evaluating a Wayfinding System for Individuals with Cognitive Impairment. CHI Workshop on Evaluating New Interactions in Healthcare: Challenges and Approaches, Boston, MA, USA. April 2009.

Liangliang Cao, Jiebo Luo, Henry Kautz, and Thomas S. Huang (2009). Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models ACM Transactions on Multimedia, 11 (2) February 2009.

Henry Kautz, Ashish Sabharwal, Bart Selman (2009). Incomplete Algorithms. Chapter 6 of The Handbook of Satisfiability. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. IOS Press, 2009.

2008

Privacy-preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training
Sangho Park and Henry Kautz. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.
Integrating Sensing and Cueing for More Effective Activity Reminders
Joseph Modayil, Rich Levinson, Craig Harman, David Halper, and Henry Kautz. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.
Mining GPS Traces and Visual Words for Event Classification
Junsong Yuan, Jiebo Luo, Henry Kautz, and Ying Wu, ACM Multimedia Information Retrieval (MIR) Conference, Brave New Topics Session, Vancouver, BC, October 2008. (Invited Oral Presentation)
Improving the Recognition of Interleaved Activities
Joseph Modayil, Tongxin Bai, and Henry Kautz. Tenth International Conference on Ubiquitous Computing (UBICOMP08), Seoul, South Korea, September 21 - 24, 2008.
Hierarchical Recognition of Activities of Daily Living using Multi-Scale, Multi-Perspective Vision and RFID
Sangho Park and Henry Kautz. The 4th IET International Conference on Intelligent Environments, Seattle, WA, July 2008.
Discovery of Social Relationships in Consumer Photo Collections using Markov Logic
Parag Singla, Henry Kautz, Jiebo Luo, Andrew Gallagher. 3rd International Workshop on Semantic Learning and Applications in Multimedia Applications (in association with IEEE International Conference on Computer Vision and Pattern Recognition), Anchorage, Alaska, 2008. (Oral Presentation)
Satisfiability Solvers
Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman. Handbook of Knowledge Representation, in the series Foundations of Artificial Intelligence, vol. 3. Editors: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter. Elsevier, pp 89-134, 2008.
Technology and Aging: Selected Papers from the 2007 International Conference on Technology and Aging
A. Mihailidis, J. Boger, H. Kautz, and L. Normie, Eds., IOS Press, Amsterdam, 2008.
Indoor wayfinding: Developing a functional interface for individuals with cognitive impairments
A.L. Liu, H. Hile, H. Kautz, G. Borriello, P.A. Brown, M. Harniss, K. Johnson. Disability and Rehabilitation: Assistive Technology, Volume 3, Issue 1 & 2 January 2008, pp. 69-81.

2007

Learning and Inferring Transportation Routines
L. Liao, D. J. Patterson, D. Fox, and H. Kautz. Artificial Intelligence 171(5-6), 2007, 311-331.
Training Conditional Random Fields using Virtual Evidence Boosting
Lin Liao, Tanzeem Choudhury, Dieter Fox, and Henry Kautz. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007. Click here for a poster.
SAT Encodings of State-Space Reachability Problems in Numeric Domains
J. Hoffmann, H. Kautz, C. Gomes, B. Selman. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
A Dynamic Approach to MPE and Weighted MAX-SAT
Tian Sang, Paul Beame, and Henry Kautz. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields
L. Liao, D. Fox, and H. Kautz. International Journal of Robotics Research, 2007.
Learning Large Scale Common Sense Models of Everyday Life.
William Pentney, Matthai Philipose, Jeff Bilmes and Henry Kautz.
In Proceedings of the 27th Annual Conference of AAAI, 2007.
Capturing Spontaneous Conversation and Social Dynamics: A Privacy Sensitive Data Collection Effort
D. Wyatt, T. Choudhury, and H. Kautz. Proceedings of ICASSP-07. Honolulu, Hawaii. April 2007. [PDF] © IEEE 2006, all rights reserved.
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations
D. Wyatt, T. Choudhury, J. Bilmes, and H. Kautz. Proceedings of IJCAI-07. Hyderabad, India. January 2007. [PDF] © IJCAI 2007, all rights reserved.

2006

Indoor Wayfinding: Developing a Functional Interface for Individuals with Cognitive Impairments
Alan L. Liu, Harlan Hile, Henry Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson. Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS 2006), Portland, OR, 2006.
Deconstructing Planning as Satisfiability
Henry Kautz. Proceedings of the Twenty-first National Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.
SatPlan: Planning as Satisfiability
Henry Kautz, Bart Selman, and Joerg Hoffmann. Abstracts of the 5th International Planning Competition, 2006.
Understanding Human Experience
Position paper for the article, "Artificial Intelligence: The Next Twenty-Five Years", Matthew Stone and Haym Hirsh, editors, AI Magazine, 26(4): Winter 2005, 85–97.
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
William Pentney, Henry Kautz, Matthai Philipose, Ana-Maria Popescu, and Shiaokai Wang. Proceedings of the 26th Annual Conference of AAAI, 2006.

2005

Report on the DARPA Workshop on Advancing Assisted Cognition Technology for Persons with Traumatic Brain Injury
Henry Kautz. November 7-8, 2005, Bethesda, MD.
Location-Based Activity Recognition using Relational Markov Networks 
Lin Liao, Dieter Fox and Henry Kautz.  Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, 2005.
Location-Based Activity Recognition
L. Liao, D. Fox, and H. Kautz. Proceedings of the Nineteenth Annual Conference on Neural Information Processing Systems (NIPS-2005), Whistler, BC, 2005.
Extending Continuous Time Bayesian Networks 
Karthik Gopalratnam and Henry Kautz and Daniel S. Weld.  Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.
Heuristics for Fast Exact Model Counting 
Tian Sang, Paul Beame, and Henry Kautz.  Eighth International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, 2005.
Solving Bayesian Networks byWeighted Model Counting 
Tian Sang, Paul Beame, and Henry Kautz.  Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.
Constraints and AI Planning
A. Nareyek, E. Freuder, R. Fourer, E. Giunchiglia, R. Goldman, H. Kuatz, J. Rintanen, & A. Tate. IEEE Intelligent Systems, 20(2) 2005, pgs. 62-72.
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
Donald Patterson, Dieter Fox, Henry Kautz, Matthai Philipose. Proceedings of the IEEE International Symposium on Wearable Computers, Osaka, Japan, Oct. 2005. Best Paper Award. Data Set.

2004

Towards Understanding and Harnessing the Potential of Clause Learning
Beame, P., Kautz, H. and Sabharwal, A. Journal of Artificial Intelligence Research (JAIR), vol. 22, pgs. 319-351, 2004.
Inferring ADLs from Interactions with Objects
Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson1, Dirk Hähnel, Dieter Fox, and Henry Kautz.  IEEE Pervasive Computing, volume 3, number 4, pages 50-56, 2004.
Opportunity Knocks: a System to Provide Cognitive Assistance with Transportation Services
Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, and Henry Kautz. Sixth International Conference on Ubiquitous Computing, Nottingham, England, 2004.
Walksat in the 2004 SAT Competition
Henry Kautz, Bart Selman, & David McAllester, International Conference on Theory and Applications of Satisfiability Testing, Vancouver, 2004.
Learning and Inferring Transportation Routines
Lin Liao, Dieter Fox, and Henry Kautz.  Best Paper Award, Nineteenth National Conference on Artificial Intelligence, San Jose, CA, 2004.
Behavior Recognition in Assisted Cognition
Lin Liao, Donald J. Patterson, Dieter Fox, and Henry Kautz. Invited paper, AAAI 2004 Workshop on Supervisory Control of Learning and Adaptive Systems, San Jose, CA, 2004.
Contextual Computer Support for Human Activity
Donald J. Patterson, Ken Fishkin, Dieter Fox, Henry Kautz, Mike Perkowitz, and Matthai Philipose. AAAI 2004 Spring Symposium on Interaction Between Humans and Autonomous Systems over Extended Operation, Stanford, CA, 2004.
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, and Toniann Pitassi..  Seventh International Conference on Theory and Applications of Satisfiability Testing, Vancouver, Canada, 2004.
The Backdoor Key: A Path to Understanding Problem Hardness
Yongshao Ruan, Henry Kautz, and Eric Horvitz,  Nineteenth National Conference on Artificial Intelligence, San Jose, CA, 2004.

2003

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search
Henry Kautz & Bart Selman.  Invited paper, Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), Cork, Ireland, 2003.
Hardness-Aware Restart Policies
Yongshao Ruan, Eric Horvitz, and Henry Kautz,  IJCAI-03 Workshop on Stochastic Search Algorithms, Alcapulco, Mexico, 2003.
Inferring High Level Behavior from Low Level Sensors.
Don Patterson, Lin Liao, Dieter Fox, and Henry Kautz.  Fifth Annual Conference on Ubiquitous Computing (UBICOMP 2003), Seattle, WA, 2003.
Expressive, Tractable and Scalable Techniques for Modeling Activities of Daily Living.
Don Patterson, Dieter Fox, Henry Kautz, and Matthai Philipose.  UbiHealth 2003: The 2nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications, Seattle, WA, Oct 12, 2003.
Voronoi Tracking: Location Estimation using Sparse and Noisy Data.
Lin Liao, Dieter Fox, Jeffrey Hightower, Henry Kautz and Dirk Schulz.  IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), Las Vegas, NV, 2003.
Understanding the Power of Clause Learning.
Paul Beame, Henry Kautz, and Ashish Sabharwal.  Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-2003).  Morgan Kaufman, 2003.
Using Problem Structure for Efficient Clause Learning.
Paul Beame, Henry Kautz, and Ashish Sabharwal.  Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 2003.
Foundations of Assisted Cognition Systems.
Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld.  UW CSE Technical Report, March 2003.

2002

The Activity Compass
Don Patterson, Oren Etzioni, and Henry Kautz. First International Workshop on Ubiquitous Computing for Cognitive Aids, Gothenberg, Sweden, 2002.
Towards a Theory of Natural Language Interfaces to Databases.
Ana-Marie Popescu, Oren Etzioni, and Henry Kautz. Proceedings of the International Conference on Intelligent User Interfaces (IUI-2003), Miami, Florida, 2003.
Restart Policies with Dependence among Runs: A Dynamic Programming Approach.
Yongshao Ruan, Eric Horvitz, and Henry Kautz. Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP-2002), Springer-Verlag, 2002.
Dynamic Restart Policies.
Henry Kautz, Eric Horvitz, Yongshao Ruan, Carla Gomes, and Bart Selman. Proceedings AAAI-2002.
An Overview of the Assisted Cognition Project. .
Henry Kautz, Larry Arnstein, Gaetano Borriello, Oren Etzioni, and Dieter Fox. AAAI-2002 Workshop on Automation as Caregiver: The Role of Intelligent Technology in Elder Care.

2001

A Bayesian Approach to Tackling Hard Computational Problems. .
Eric Horvitz, Yongshao Ruan, Carla Gomes, Henry Kautz, Bart Selman, Max Chickering. Proceedings the 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001). Compressed version.
Balance and Filtering in Structured Satisfiable Problems .
Henry Kautz, Yongshao Ruan, Dimitiri Achlioptas, Carla Gomes, Bart Selman, and Mark Stickel. Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001).
Auto-Walksat: a Self-Tuning Implementation of Walksat.
Donald J. Patterson and Henry Kautz. Electronic Notes in Discrete Mathematics (ENDM), 9, 2001, Elsevier. Presented at the LICS 2001 Workshop on Theory and Applications of Satisfiability Testing, June 14-15, 2001, Boston University, MA.

2000

Generating Satisfiable Problem Instances
Dimitris Achlioptas, Carla Gomes, Henry Kautz, and Bart Selman. Proc. AAAI-2000, Austin, TX.
Hardening soft information sources
David McAllester, William Cohen, and Henry Kautz. Proc. KDD-2000 , Boston, MA.
Learning Declarative Control Rules for Constraint-Based Planning
Yi-Cheng Huang, Bart Selman, and Henry Kautz. Proc. ICML-2000 (Seventeenth International Conference on Machine Learning), Stanford, CA.

1999

Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
Carla P. Gomes, Bart Selman, Nuno Crator, and Henry Kautz. J. of Automated Reasoning, Vol. 24(1/2), pages 67-100, 1999.
Unifying SAT-based and Graph-based Planning
Henry Kautz and Bart Selman. Proc. IJCAI-99, Stockholm, 1999.
Integer Optimization Models of AI Planning Problems
Henry Kautz and Joachim P. Walser. Knowledge Engineering Review, vol. 15, no. 1, 2000, pp. 101-117.
State-space Planning by Integer Optimization
Henry Kautz and Joachim P. Walser. Proc. AAAI-99, Orlando, FL, 1999.
Control Knowledge in Planning: Benefits and Tradeoffs
Yi-Chen Huang, Bart Selman, and Henry Kautz. Proc. AAAI-99, Orlando, FL, 1999.
Temporal Reasoning.
In The MIT Encyclopedia of Cognitive Science, MIT Press, Cambridge, 1999.

1998

BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving
Henry Kautz and Bart Selman. Working notes of the Workshop on Planning as Combinatorial Search, held in conjunction with AIPS-98, Pittsburgh, PA, 1998.
Creating Models of Real-World Communities with ReferralWeb
Henry Kautz and Bart Selman. Working notes of the Workshop on Recommender Systems, held in conjunction with AAAI-98, Madison, WI, 1998.
Boosting Combinatorial Search Through Randomization
C.P. Gomes, B. Selman, and H. Kautz. Proc. AAAI-98, Madison, WI, 1998.
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework ( Entire paper as a pdf file, OR Text; Figures)
Henry Kautz and Bart Selman. Proc. AIPS-98, Pittsburgh, PA, 1998. Abstract.
Temporal Reasoning
Henry Kautz. Appears in the MIT Encyclopedia of Cognitive Science , forthcoming.

1997

A General Stochastic Approach to Solving Problems with Hard and Soft Constraints
Henry Kautz, Bart Selman, and Yueyen Jiang. In The Satisfiability Problem: Theory and Applications, Dingzhu Gu, Jun Du, and Panos Pardalos (Eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 35, American Mathematical Society, 1997, pages 573-586.
Exploiting Variable Dependency in Local Search
Henry Kautz, David McAllester, and Bart Selman. DRAFT. Abstract appears in Abstracts of the Poster Sessions of IJCAI-97, Nagoya, Japan, 1997. Abstract.
The Hidden Web
Henry Kautz, Bart Selman, and Mehul Shah. The AI Magazine, vol. 18, no. 2, Summer 1997, pages 27 - 36. Abstract.
Ten Challenges in Propositional Reasoning and Search
Bart Selman, Henry Kautz, and David McAllester. Proc. IJCAI-97, Nagoya, Aichi, Japan, 1997. Abstract.
Evidence for Invariants in Local Search
David McAllester, Bart Selman, and Henry Kautz. Proc. AAAI-97, Providence, RI, 1997. Abstract.
ReferralWeb: Combining Social Networks and Collaborative Filtering
Henry Kautz, Bart Selman, and Mehul Shah. Comm. ACM, vol. 30 no. 3, March 1997.

1996

Agent Amplified Communication
Henry Kautz, Bart Selman, and Al Milewski. Proc. AAAI-96.
Encoding Plans in Propositional Logic
Henry Kautz, David McAllester, and Bart Selman, Proc. KR-96.
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
Henry Kautz and Bart Selman, Proc. AAAI-96. Best Paper Award.
The Comparative Linguistics of Knowledge Representation
Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman, Proc. IJCAI-95.
Agent Amplified Communication
Henry Kautz and Bart Selman, Proc. AAAI-96 (earlier version, AAAI-95 Spring Symposium).
Knowledge Compilation and Theory Approximation
Bart Selman and Henry Kautz. Draft (near-final) version. Final version appears in the Journal of the ACM, 43(2):193-224, March 1996.
Local Search Strategies for Satisfiability Testing.
Bart Selman, Henry Kautz, and Bram Cohen. Draft (near-final) version. Final version appears in Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993. David S. Johnson and Michael A. Trick, ed. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 26, AMS, 1996. Appendix summarizing results of walksat on challenge instances.

1995

Solving Problems with Hard and Soft Constraints Using A Stochastic Algorithm for MAX-SAT
Yueyun Jiang, Henry Kautz, and Bart Selman, 1st International Joint Workshop on Artificial Intelligence and Operations Research, 1995.
Horn Approximations of Empirical Data
Henry Kautz, Michael Kearns, and Bart Selman. Draft (near-final) version. Final version appears in Artificial Intelligence, 74/1 (pp. 129-145) 30 March 1995.
The Comparative Linguistics of Knowledge Representation
Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman, Proc. IJCAI-95.

1994

Noise Strategies for Improving Local Search
Bart Selman, Henry Kautz, and Bram Cohen. Proc. AAAI-94.
An Experiment in the Design of Software Agents
Henry Kautz, Bart Selman, Michael Coen, Steven Ketchpel, and Chris Ramming, Proc. AAAI-94.
An Empirical Evaluation of Knowledge Compilation
Henry Kautz and Bart Selman, Proc. AAAI-94. (Extended version).
GSAT User's Guide.
Henry Kautz and Bart Selman.
Local Search Strategies for Satisfiability Testing
Bart Selman and Henry Kautz, Draft.

1993

Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
Bart Selman and Henry Kautz, Proc. IJCAI-93.
Reasoning With Characteristic Models
Henry Kautz, Michael Kearn, Bart Selman, Proc. AAAI-93.
An Empirical Study of Greedy Local Search for Satisfiability Testing
Bart Selman and Henry Kautz, Proc. AAAI-93.

1992

Planning as Satisfiability
Henry Kautz and Bart Selman, Proceedings ECAI-92.
Forming Concepts for Fast Inference
Henry Kautz and Bart Selman, Proceedings AAAI-92.

1991

A General Framework for Knowledge Compilation
Henry Kautz and Bart Selman, PDK-91, WOCFAI-91.
Knowledge Compilation Using Horn Approximations
Bart Selman and Henry Kautz, Proceedings AAAI-91.
Integrating Metric and Qualitative Temporal Reasoning
Henry Kautz and Peter Ladin, Proceedings AAAI-91.
A Formal Theory of Plan Recognition and its Implementation
In Reasoning About Plans, by J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tennenberg, Morgan Kaufmann Publishers, 1991, pages 69-126 (chapter 2). Abstract.
Hard Problems for Simple Default Logics
Henry Kautz and Bart Selman. Artificial Intelligence 49 (1991) 243--279.
 

1990

The complexity of model-preference default theories
B. Selman and H. Kautz. Model-Preference Default Theories, Artificial Intelligence 45, 1990, pp. 287-322.
 

1989

Hard Problems for Simple Default Logics
Henry Kautz and Bart Selman. Best Paper Award, Proceedings of the 1st Intenational Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989.
Vivid Knowledge and Tractable Reasoning
W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz. IJCAI 1989: 1146-1152

1988

The complexity of model-preference default theories
B. Selman and H. Kautz. Proceedings of the National Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI), 1988.

1987

Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report
Marc Vilain Henry Kautz Peter van Beek.
A Formal Theory of Plan Recognition
Henry Kautz. PhD Thesis, Dept. of Computer Science, University of Rochester, 1987. (Tech. report 215.) Abstract.

1986

The logic of persistence.
H. A. Kautz. Proc. of AAAI-1986, 401-405.
Constraint Propagation Algorithms for Temporal Reasoning
Marc B. Vilain, Henry A. Kautz: . AAAI 1986: 377-382
Generalized Plan Recognition
Henry A. Kautz, James F. Allen. AAAI 1986: 32-37

Back to my personal home page page.