Papers

press

2014

Danning Zheng, Tianran Hu, Quanzeng You, Henry Kautz, and Jiebo Luo. Inferring Home Location from User's Photo Collections based on Visual
Content and Mobility Patterns. ACM Multimedia Conference, Workshop on Geotagging in Multimedia (GeoMM), November 2014.

Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry Kautz, Jiebo Luo, and Daniel Gildea (2014). Unsupervised Alignment of Natural Language Instructions with Video Segments. Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Quebec City, Canada, 2014.

Adam Sadilek, Christopher Homan, Walter S. Lasecki, Vincent Silenzio, Henry Kautz (2014). Modeling Fine-Grained Dynamics of Mood at Scale.
WSDM 2014 Workshop on Diffusion Networks and Cascade Analytics, New York City, Feb 24-28, 2014.

2013

Young Chol Song, Henry Kautz, James Allen, Mary Swift, Yuncheng Li, Jiebo Luo, Ce Zhang (2013). A Markov Logic Framework for Recognizing Complex Events from Multimodal Data. 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia.

Henry Kautz (2013). There's a Fly in My Tweets. The New York Times, June 21, 2013, page SR12.

Adam Sadilek, Sean Brennan, Henry Kautz, and Vincent Silenzion (2013). nEmesis: Which Restaurants Should You Avoid Today? First AAAI Conference on Human Computation and Crowdsourcing (HCOMP-2013), Palm Springs, CA, 2013. Notable paper award.

Sean Brennan, Adam Sadilek, and Henry Kautz (2013). Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013.

Henry Kautz (2013). Senior Member Presentation: Data Mining Social Media for Public Health Applications. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013.

Tivadar Pápai and Henry Kautz (2013). Modal Markov Logic for Multiple Agents. 3rd International Workshop on Statistical Relational AI, Bellevue, WA, 2013.

Young Song, Henry Kautz, Raingo Lee and Jiebo Luo (2013). A General Framework for Recognizing Complex Events in Markov Logic. PAIR 2013: AAAI Workshop on Plan, Activity, and Intent Recognition, Bellevue, WA, 2013.

Walter S. Lasecki, Young Chol Song, Henry Kautz, and Jeffrey P. Bigham (2013). Real-Time Crowd Labeling for Deployable Activity Recognition. 16th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2013), San Antonio, TX, 2013.

Adam Sadilek and Henry Kautz (2013). Modeling the Impact of Lifestyle on Health at Scale. Sixth ACM International Conference on Web Search and Data Mining (WSDM 2013). Rome, Italy, 2013.

News Coverage: The Guardian, The NY Post

Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2013). Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, 2013.

2012

Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2012). Slice Normalized Dynamic Markov Logic Networks. Neural Information Processing Systems (NIPS 2012), Lake Tahoe, Nevada, 2012.

Tivadar Pápai, Shalini Ghosh, and Henry Kautz (2012). Combining Subjective Probabilities and Data in Training Markov Logic Networks. European Conference on Machine Learning (ECML), Bristol, UK, 2012.

Adam Sadilek, Henry Kautz, and Vincent Silenzio (2012). Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. 26th Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 2012.

News CoverageInformationWeek, GizmodoDiscovery News, Democrat and Chronicle, WXXXI Public Radio

Young Chol Song and Henry Kautz (2012). A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video.26th Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 2012.

M. Swift, G. Ferguson, L. Galescu, Y. Chu, C. Harman, H. Jung, I. Perera, Y. Song, J. Allen, H. Kautz (2012). A multimodal corpus for integrated language and action. International Workshop on MultiModal Corpora for Machine Learning, Istanbul, Turkey, 2012.

Adam Sadilek, Henry Kautz, and Vincent Silenzio (2012) Modeling Spread of Disease from Social Interactions. Sixth AAAI International Conference on Weblogs and Social Media (ICWSM-2012), Dublin, Ireland, 2012.

Adam Sadilek and Henry Kautz (2012). Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. In Tom Lovett and Eamonn O'Neill, Eds., Mobile Context Awareness, Springe-Verlag, 2012, pp. 9-64.

Adam Sadilek, Henry Kautz and Jeffrey P. Bigham (2012). 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. Best Paper Award.

News CoverageNew ScientistGizmodoScience DailyO'ReillyUPINDTV,Yahoo! NewsACM TechNewsTG DailyScience Codex

Adam Sadilek and Henry Kautz (2012). Location-Based Reasoning about Complex Multi-Agent Behavior, Journal of Artificial Intelligence Research (JAIR), vol. 42, 2012, pp. 87-133.

Yi Chu, Young Chol Song, Richard Levinson, and Henry Kautz (2012). Interactive Activity Recognition and Prompting to Assist People with Cognitive Disabilities. Journal of Ambient Intelligence and Smart Environments, 4(5) 2012, pp. 443-459.

2011

Tivadar Papai, P. Singla, and Henry Kautz (2011). Constraint Propagation for Efficient Inference in Markov Logic. 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, Italy, pp. 691-705.

Yi Chu, Young Chol Song, Henry Kautz, and 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 and Henry Kautz (2010). Recognizing Multi-Agent Activities from GPS Data. 24th Conference on Artificial Intelligence (AAAI-2010), July 11–15, 2010, Atlanta, Georgia.

Adam Sadilek and 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, and K. Johnson (2010). Learning User Models to Improve Wayfinding Assistance for Individuals with Cognitive Impairment. Workshop on Interactive Systems in Healthcare, Atlanta, GA, April 2010.

2009

Ross Messing, Chris Pal, and Henry Kautz (2009). Activity recognition using the velocity histories of tracked keypoints. 12th 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. 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. International Conference on Computers and Accessibility (ASSETS 2009), Pittsburgh, PA, 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, 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

Sangho Park and Henry Kautz (2008). Privacy-preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.

Joseph Modayil, Rich Levinson, Craig Harman, David Halper, and Henry Kautz (2008). Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, Nov. 7-9, 2008.

Junsong Yuan, Jiebo Luo, Henry Kautz, and Ying Wu (2008). Mining GPS Traces and Visual Words for Event Classification. ACM Multimedia Information Retrieval (MIR) Conference, Brave New Topics Session, Vancouver, BC, October 2008.

Joseph Modayil, Tongxin Bai, and Henry Kautz (2008). Improving the Recognition of Interleaved Activities. 10th International Conference on Ubiquitous Computing (UBICOMP08), Seoul, South Korea, Sept. 21-24, 2008.

Sangho Park and Henry Kautz (2008). Hierarchical Recognition of Activities of Daily Living using Multi-Scale, Multi-Perspective Vision and RFID. Fourth IET International Conference on Intelligent Environments, Seattle, WA, July 2008.

Parag Singla, Henry Kautz, Jiebo Luo, Andrew Gallagher (2008). Discovery of Social Relationships in Consumer Photo Collections using Markov Logic. Third 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.

Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman (2008). Satisfiability Solvers. 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.

A. Mihailidis, J. Boger, H. Kautz, and L. Normie, Eds. (2008) Technology and Aging: Selected Papers from the 2007 International Conference on Technology and Aging. IOS Press, Amsterdam, 2008.

A.L. Liu, H. Hile, H. Kautz, G. Borriello, P.A. Brown, M. Harniss, K. Johnson (2008). Indoor wayfinding: Developing a functional interface for individuals with cognitive impairments. Disability and Rehabilitation: Assistive Technology, 3(1-2) 2008, pp. 69-81.

2007

L. Liao, D. J. Patterson, D. Fox, and H. Kautz (2007). Learning and Inferring Transportation Routines. Artificial Intelligence 171(5-6) 2007, 311-331.

Lin Liao, Tanzeem Choudhury, Dieter Fox, and Henry Kautz (2007). Training Conditional Random Fields using Virtual Evidence Boosting. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007. Click here for a poster.

J. Hoffmann, H. Kautz, C. Gomes, B. Selman (2007). SAT Encodings of State-Space Reachability Problems in Numeric Domains. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.

Tian Sang, Paul Beame, and Henry Kautz (2007). A Dynamic Approach to MPE and Weighted MAX-SAT. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.

L. Liao, D. Fox, and H. Kautz (2007). Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. International Journal of Robotics Research, 26(1) 2007, pp. 119-134.

William Pentney, Matthai Philipose, Jeff Bilmes and Henry Kautz (2007). Learning Large Scale Common Sense Models of Everyday Life.. 27th Conference on Artificial Intelligence (AAAI-2007), Vancouver, Canada, 2007.

D. Wyatt, T. Choudhury, and H. Kautz (2007). Capturing Spontaneous Conversation and Social Dynamics: A Privacy Sensitive Data Collection Effort. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), Honolulu, Hawaii, 2007.

D. Wyatt, T. Choudhury, J. Bilmes, and H. Kautz (2007). A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.

2006

Alan L. Liu, Harlan Hile, Henry Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson (2006). Indoor Wayfinding: Developing a Functional Interface for Individuals with Cognitive Impairments. 8th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS 2006), Portland, OR, 2006.

Henry Kautz (2006). Deconstructing Planning as Satisfiability. 21st Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.

Henry Kautz, Bart Selman, and Joerg Hoffmann (2006). SatPlan: Planning as Satisfiability.  Working Notes of the 5th International Planning Competition, Cumbria, UK, 2006.

Henry Kautz (2006). Understanding Human Experience. Position paper for the article, "Artificial Intelligence: The Next Twenty-Five Years", Matthew Stone and Haym Hirsh, eds., AI Magazine, 26(4): Winter 2005, pp. 85–97.

William Pentney, Henry Kautz, Matthai Philipose, Ana-Maria Popescu, and Shiaokai Wang (2006). Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. 21st Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.

2005

Henry Kautz (2005). Report on the DARPA Workshop on Advancing Assisted Cognition Technology for Persons with Traumatic Brain Injury, November 7-8, 2005, Bethesda, MD.

Lin Liao, Dieter Fox and Henry Kautz (2005).  Location-Based Activity Recognition using Relational Markov Networks. 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), Edinburgh, Scotland, 2005.

L. Liao, D. Fox, and H. Kautz (2005). Location-Based Activity Recognition. 19th Annual Conference on Neural Information Processing Systems (NIPS-2005), Whistler, BC, 2005.

Karthik Gopalratnam and Henry Kautz and Daniel S. Weld (2005).  Extending Continuous Time Bayesian Networks. 20th National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.

Tian Sang, Paul Beame, and Henry Kautz (2005).  Heuristics for Fast Exact Model Counting.  Eighth International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, 2005.

Tian Sang, Paul Beame, and Henry Kautz (2005).  Solving Bayesian Networks byWeighted Model Counting.  20th Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.

A. Nareyek, E. Freuder, R. Fourer, E. Giunchiglia, R. Goldman, H. Kuatz, J. Rintanen, and A. Tate (2005). Constraints and AI Planning. IEEE Intelligent Systems, 20(2) 2005, pp. 62-72.

Donald Patterson, Dieter Fox, Henry Kautz, Matthai Philipose (2005). Fine-Grained Activity Recognition by Aggregating Object Usage. IEEE International Symposium on Wearable Computers, Osaka, Japan, Oct. 2005. Best Paper Award. Data Set.

2004

Paul Beame, Henry Kautz, and Ashish Sabharwal (2004). Towards Understanding and Harnessing the Potential of Clause Learning. Journal of Artificial Intelligence Research (JAIR), vol. 22, pp. 319-351, 2004.

Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson1, Dirk Hähnel, Dieter Fox, and Henry Kautz (2004).  Inferring ADLs from Interactions with Objects. IEEE Pervasive Computing, 3(4) 2004, pp. 50-56.

Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, and Henry Kautz (2004). Opportunity Knocks: a System to Provide Cognitive Assistance with Transportation Services. Sixth International Conference on Ubiquitous Computing (UBICOMP-2004), Nottingham, England, 2004.

Henry Kautz, Bart Selman, and David McAllester (2004). Walksat in the 2004 SAT Competition. International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, Canada, 2004.

Lin Liao, Dieter Fox, and Henry Kautz (2004). Learning and Inferring Transportation Routines. 19th National Conference on Artificial Intelligence (AAAI-2004), San Jose, CA, 2004. Best Paper Award.

Lin Liao, Donald J. Patterson, Dieter Fox, and Henry Kautz (2004). Invited paper, Behavior Recognition in Assisted Cognition. AAAI 2004 Workshop on Supervisory Control of Learning and Adaptive Systems, San Jose, CA, 2004.

Donald J. Patterson, Ken Fishkin, Dieter Fox, Henry Kautz, Mike Perkowitz, and Matthai Philipose (2004). Contextual Computer Support for Human Activity. AAAI 2004 Spring Symposium on Interaction Between Humans and Autonomous Systems over Extended Operation, Stanford, CA, 2004.

Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, and Toniann Pitassi (2004).  Combining Component Caching and Clause Learning for Effective Model Counting. Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, Canada, 2004.

Yongshao Ruan, Henry Kautz, and Eric Horvitz (2004).  The Backdoor Key: A Path to Understanding Problem Hardness. Nineteenth Conference on Artificial Intelligence (AAAI-2004), San Jose, CA, 2004.

2003

Henry Kautz and Bart Selman (2003).  Invited paper, Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), Cork, Ireland, 2003.

Yongshao Ruan, Eric Horvitz, and Henry Kautz (2003).  Hardness-Aware Restart Policies. IJCAI-03 Workshop on Stochastic Search Algorithms, Alcapulco, Mexico, 2003.

Don Patterson, Lin Liao, Dieter Fox, and Henry Kautz (2003).  Inferring High Level Behavior from Low Level Sensors.. Fifth Annual Conference on Ubiquitous Computing (UBICOMP 2003), Seattle, WA, 2003.

Don Patterson, Dieter Fox, Henry Kautz, and Matthai Philipose (2003).  Expressive, Tractable and Scalable Techniques for Modeling Activities of Daily Living.. UbiHealth 2003: The 2nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Application, Seattle, WA, Oct 12, 2003.

Lin Liao, Dieter Fox, Jeffrey Hightower, Henry Kautz and Dirk Schulz (2003).  Voronoi Tracking: Location Estimation using Sparse and Noisy Data.. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), Las Vegas, NV, 2003.

Paul Beame, Henry Kautz, and Ashish Sabharwal (2003).  Understanding the Power of Clause Learning.. 18th International Joint Conference on Artificial Intelligence (IJCAI-2003).  Morgan Kaufman, 2003.

Paul Beame, Henry Kautz, and Ashish Sabharwal (2003).  Using Problem Structure for Efficient Clause Learning. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 2003.

Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld (2003).  Foundations of Assisted Cognition Systems.. UW CSE Technical Report, March 2003.

2002

Don Patterson, Oren Etzioni, and Henry Kautz (2002). The Activity Compass. First International Workshop on Ubiquitous Computing for Cognitive Aids, Gothenberg, Sweden, 2002.

Ana-Marie Popescu, Oren Etzioni, and Henry Kautz (2002). Towards a Theory of Natural Language Interfaces to Databases. International Conference on Intelligent User Interfaces (IUI-2003), Miami, Florida, 2003.

Yongshao Ruan, Eric Horvitz, and Henry Kautz (2002). Restart Policies with Dependence among Runs: A Dynamic Programming Approach.. 8th International Conference on Principles and Practice of Constraint Programming (CP-2002), Springer-Verlag, 2002.

Henry Kautz, Eric Horvitz, Yongshao Ruan, Carla Gomes, and Bart Selman (2002). Dynamic Restart Policies. 18th National Conference on Artificial Intelligencer (AAAI-2002), Edmunton, Canada, 2002.

Henry Kautz, Larry Arnstein, Gaetano Borriello, Oren Etzioni, and Dieter Fox (2002). An Overview of the Assisted Cognition Project. AAAI-2002 Workshop on Automation as Caregiver: The Role of Intelligent Technology in Elder Care, Edmunton, Canada, 2002.

2001

Eric Horvitz, Yongshao Ruan, Carla Gomes, Henry Kautz, Bart Selman, Max Chickering (2001). A Bayesian Approach to Tackling Hard Computational Problems. 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001), Seattle, WA, 2001.

Henry Kautz, Yongshao Ruan, Dimitiri Achlioptas, Carla Gomes, Bart Selman, and Mark Sticke (2001)l. Balance and Filtering in Structured Satisfiable Problems. 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, WA, 2001.

Donald J. Patterson and Henry Kautz (2001). Auto-Walksat: a Self-Tuning Implementation of Walksat.. Electronic Notes in Discrete Mathematics (ENDM) Vol. 9, Elsevier, 2001. Presented at the LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT-2001),Boston University, MA, June 14-15, 2001.

Henry Kautz (2001). Temporal Reasoning. In The MIT Encyclopedia of the Cognitive Sciences, Robert A. Wilson and Frank C. Keil, Eds., MIT Press, 2001.

2000

Dimitris Achlioptas, Carla Gomes, Henry Kautz, and Bart Selman (2000). Generating Satisfiable Problem Instances. 17th National Conference on Artificial Intelligence (AAAI-2000), Austin, TX, 2000.

David McAllester, William Cohen, and Henry Kautz (2000). Hardening soft information sources. Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2000), Boston, MA, 2000.

Yi-Cheng Huang, Bart Selman, and Henry Kautz (2000). Learning Declarative Control Rules for Constraint-Based Planning. 17th International Conference on Machine Learning (ICML-2000), Stanford, CA.

1999

Carla P. Gomes, Bart Selman, Nuno Crator, and Henry Kautz (1999). Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning, 24(1-2) 1999, pp. 67-100.

Henry Kautz and Bart Selman (1999). Unifying SAT-based and Graph-based Planning. 16th International Joint Conference on Artificial Intelligence (IJCAI-99),Stockholm, Sweden, 1999.

Henry Kautz and Joachim P. Walser (1999). Integer Optimization Models of AI Planning Problems. Knowledge Engineering Review, 15 (1) 2000, pp. 101-117.

Henry Kautz and Joachim P. Walser (1999). State-space Planning by Integer Optimization. 16th National Conference on Artificial Intelligence (AAAI-99), Orlando, FL, 1999.

Yi-Chen Huang, Bart Selman, and Henry Kautz (1999). Control Knowledge in Planning: Benefits and Tradeoffs. 16th Conference on Artificial Intelligence (AAAI-99), Orlando, FL, 1999.

1998

Henry Kautz and Bart Selman (1998). BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving. Working notes of the AIPS-98 Workshop on Planning as Combinatorial Search, Pittsburgh, PA, 1998.

Henry Kautz and Bart Selman (1998). Creating Models of Real-World Communities with ReferralWeb. Working notes of the AAAI-98 Workshop on Recommender Systems, Madison, WI, 1998.

C.P. Gomes, B. Selman, and H. Kautz (1998). Boosting Combinatorial Search Through Randomization. 15th National Conference on Artificial Intelligence (AAAI-98), Madison, WI, 1998.

Henry Kautz and Bart Selman (1998). The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98), Pittsburgh, PA, 1998.

1997

Henry Kautz, Bart Selman, and Yueyen Jiang (1997). In A General Stochastic Approach to Solving Problems with Hard and Soft Constraints. 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, pp. 573-586.

Henry Kautz, David McAllester, and Bart Selman (1997). Exploiting Variable Dependency in Local Search. Abstracts of Poster Sessions of IJCAI-97, Nagoya, Japan, 1997.

Henry Kautz, Bart Selman, and Mehul Shah (1997). The Hidden Web. The AI Magazine, 18 (2) 1997, pp. 27-36.

Bart Selman, Henry Kautz, and David McAllester (1997). Ten Challenges in Propositional Reasoning and Search. 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997.

David McAllester, Bart Selman, and Henry Kautz (1997). Evidence for Invariants in Local Search. 14th Conference on Artificial Intelligence (AAAI-97), Providence, RI, 1997.

Henry Kautz, Bart Selman, and Mehul Shah (1997). ReferralWeb: Combining Social Networks and Collaborative Filtering. Communications of the ACM, 30 (3) 1997, pp. 27-36.

1996

Henry Kautz, Bart Selman, and Al Milewski (1996). Agent Amplified Communication. 13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996.

Henry Kautz, David McAllester, and Bart Selman (1996). Encoding Plans in Propositional Logic. 5th International Conference on Knowledge Representation and Reasoning (KR-96), Cambridge, MA, 1996.

Henry Kautz and Bart Selman (1996). Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. 13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996. Best Paper Award.

Henry Kautz and Bart Selman (1996). Agent Amplified Communication.13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996.

Bart Selman and Henry Kautz (1996). Knowledge Compilation and Theory Approximation. Journal of the ACM, 43(2):193-224, March 1996.

Bart Selman, Henry Kautz, and Bram Cohen (1996). Local Search Strategies for Satisfiability Testing. 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

Yueyun Jiang, Henry Kautz, and Bart Selman (1995). Solving Problems with Hard and Soft Constraints Using A Stochastic Algorithm for MAX-SAT. First International Joint Workshop on Artificial Intelligence and Operations Research, 1995.

Henry Kautz, Michael Kearns, and Bart Selman (1995). Horn Approximations of Empirical Data. Artificial Intelligence, 74(1), 1995, pp. 129-145.

Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman (1995). The Comparative Linguistics of Knowledge Representation. 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, 1995.

1994

Bart Selman, Henry Kautz, and Bram Cohen (1994). Noise Strategies for Improving Local Search. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.

Henry Kautz, Bart Selman, Michael Coen, Steven Ketchpel, and Chris Ramming (1994). An Experiment in the Design of Software Agents. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.

Henry Kautz and Bart Selman (1994). An Empirical Evaluation of Knowledge Compilation. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.

1993

Bart Selman and Henry Kautz (1993). Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, 1993.

Henry Kautz, Michael Kearn, Bart Selman (1993). Reasoning With Characteristic Models. 11th National Conference on Artificial Intelligence (AAAI-93), Washington, DC, 1993.

Bart Selman and Henry Kautz (1993). An Empirical Study of Greedy Local Search for Satisfiability Testing. 11th National Conference on Artificial Intelligence (AAAI-93), Washington, DC, 1993.

1992

Henry Kautz and Bart Selman (1992). Planning as Satisfiability. Tenth European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, 1992.

Henry Kautz and Bart Selman (1992). Forming Concepts for Fast Inference. Tenth National Conference on Artificial Intelligence (AAAI-92),San Jose, CA, 1992.

1991

Henry Kautz and Bart Selman (1991). A General Framework for Knowledge Compilation. International Workshop on Processing Declarative Knowledge (PDK-91), Kauserlautern, Germany, 1991.

Bart Selman and Henry Kautz (1991). Knowledge Compilation Using Horn Approximations. Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1992.

Henry Kautz and Peter Ladin (1991). Integrating Metric and Qualitative Temporal Reasoning. Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1992.

Henry Kautz (1991). 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, pp. 69-126.

Henry Kautz and Bart Selman (1991). Hard Problems for Simple Default Logics. Artificial Intelligence 49 (1-3) 1991, pp. 243-279.

1990

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

1989

Henry Kautz and Bart Selman (1989). Hard Problems for Simple Default Logics. First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989.

W. Etherington, Alexander Borgida, Ronald J. Brachman, and Henry A. Kautz (1989). Vivid Knowledge and Tractable Reasoning. 11th International Joint Conference on Artificial Intelligence (IJCAI-89), pp. 1146-1152.

Marc Vilain, Henry Kautz, and Peter van Beek (1989). Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In Readings in Qualitative Reasoning about Physical Systems, Daniel S. Weld and Johan de Kleer (eds.), Morgan-Kaufman, 1989, pp. 373-381.

1988

B. Selman and H. Kautz (1988). The complexity of model-preference default theories. Second International Workshop on Non-Monotonic Reasoning, (NMR 1998), Grassau, Germany, 1998.

1987

Henry Kautz (1987). A Formal Theory of Plan Recognition. TR 215 (PhD Thesis), Dept. of Computer Science, University of Rochester, 1987.

1986

Henry A. Kautz (1986). The Logic of Persistence. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.

Marc B. Vilain and Henry A. Kautz (1986). Constraint Propagation Algorithms for Temporal Reasoning. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.

Henry A. Kautz and James F. Allen (1986). Generalized Plan Recognition. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.

1982

Henry A. Kautz (1982). Planning within First-Order Dynamic Logic. Fourth National Conferenceof the Canadian Society for Computational Studies of Intelligence (CSCSI/SCEIO), Saskatoon, Canada, 1982.


Back to my personal home page page