| 2021 | ICCV | Explaining Local, Global, And Higher-Order Interactions In Deep Learning. | Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu |
| 2021 | ICWSM | Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs. | Anis Zaman, Boyu Zhang, Vincent Silenzio, Henry A. Kautz, Ehsan Hoque |
| 2020 | AAAI | Inferring Nighttime Satellite Imagery from Human Mobility. | Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz |
| 2020 | ACL | Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. | Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz |
| 2020 | ICWSM | A Framework for Political Portmanteau Decomposition. | Nabil Hossain, Minh Tran, Henry A. Kautz |
| 2019 | IC3K | CupQ: A New Clinical Literature Search Engine. | Jesse Wang, Henry A. Kautz |
| 2019 | WWW | Detecting Low Self-Esteem in Youths from Web Search Data. | Anis Zaman, Rupam Acharyya, Henry A. Kautz, Vincent Silenzio |
| 2018 | ICWSM | Discovering Political Slang in Readers' Comments. | Nabil Hossain, Thanh Thuy Trang Tran, Henry A. Kautz |
| 2018 | ICWSM | Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media. | Ann Marie White, Linxiao Bai, Christopher Homan, Melanie Funchess, Catherine Cerulli, Amen Ptah, Deepak Pandita, Henry A. Kautz |
| 2017 | AAAI | Conditional Term Equivalent Symmetry Breaking for SAT. | Timothy Kopp, Parag Singla, Henry A. Kautz |
| 2017 | EMNLP | Filling the Blanks (hint: plural noun) for Mad Libs Humor. | Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, Henry A. Kautz |
| 2017 | ICWSM | Twitter911: A Cautionary Tale. | Anis Zaman, Nabil Hossain, Henry A. Kautz |
| 2016 | AAAI | Toward Caching Symmetrical Subtheories for Weighted Model Counting. | Timothy Kopp, Parag Singla, Henry A. Kautz |
| 2016 | AAAI | Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. | Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio |
| 2016 | ACL | Understanding Discourse on Work and Job-Related Well-Being in Public Social Media. | Tong Liu, Christopher Homan, Cecilia Ovesdotter Alm, Megan C. Lytle, Ann Marie White, Henry A. Kautz |
| 2016 | ICPR | Aligning movies with scripts by exploiting temporal ordering constraints. | Iftekhar Naim, Abdullah Al Mamun, Young Chol Song, Jiebo Luo, Henry A. Kautz, Daniel Gildea |
| 2016 | IJCAI | Unsupervised Alignment of Actions in Video with Text Descriptions. | Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz |
| 2016 | ICWSM | Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. | Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz |
| 2015 | AAAI | Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. | Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz |
| 2015 | ICDM | Home Location Inference from Sparse and Noisy Data: Models and Applications. | Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek |
| 2015 | ICWSM | Towards Lifestyle Understanding: Predicting Home and Vacation Locations from User's Online Photo Collections. | Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo |
| 2015 | NAACL | Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments. | Iftekhar Naim, Young Chol Song, Qiguang Liu, Liang Huang, Henry A. Kautz, Jiebo Luo, Daniel Gildea |
| 2014 | AAAI | Unsupervised Alignment of Natural Language Instructions with Video Segments. | Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry A. Kautz, Jiebo Luo, Daniel Gildea |
| 2013 | AAAI | Modal Markov Logic for Multiple Agents. | Tivadar Papai, Henry A. Kautz |
| 2013 | AAAI | A General Framework for Recognizing Complex Events in Markov Logic. | Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo |
| 2013 | AAAI | A General Framework for Recognizing Complex Events in Markov Logic. | Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo |
| 2013 | CSCW | Real-time crowd labeling for deployable activity recognition. | Walter S. Lasecki, Young Chol Song, Henry A. Kautz, Jeffrey P. Bigham |
| 2013 | HCOMP | nEmesis: Which Restaurants Should You Avoid Today? | Adam Sadilek, Sean Brennan, Henry A. Kautz, Vincent Silenzio |
| 2013 | ICMI | A Markov logic framework for recognizing complex events from multimodal data. | Young Chol Song, Henry A. Kautz, James F. Allen, Mary D. Swift, Yuncheng Li, Jiebo Luo, Ce Zhang |
| 2013 | IJCAI | Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. | Sean Brennan, Adam Sadilek, Henry A. Kautz |
| 2013 | IJCAI | Modeling The Interplay of People's Location, Interactions, and Social Ties. | Adam Sadilek, Henry A. Kautz |
| 2013 | WSDM | Modeling the impact of lifestyle on health at scale. | Adam Sadilek, Henry A. Kautz |
| 2013 | TARK | Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. | Tivadar Papai, Henry A. Kautz, Daniel Stefankovic |
| 2012 | AAAI | Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. | Adam Sadilek, Henry A. Kautz, Vincent Silenzio |
| 2012 | AAAI | A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. | Young Chol Song, Henry A. Kautz |
| 2012 | ICWSM | Modeling Spread of Disease from Social Interactions. | Adam Sadilek, Henry A. Kautz, Vincent Silenzio |
| 2012 | WSDM | Finding your friends and following them to where you are. | Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham |
| 2011 | AAAI | When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting. | Yi Chu, Young Chol Song, Henry A. Kautz, Richard Levinson |
| 2011 | CP | Constraint Propagation for Efficient Inference in Markov Logic. | Tivadar Papai, Parag Singla, Henry A. Kautz |
| 2010 | AAAI | Recognizing Multi-Agent Activities from GPS Data. | Adam Sadilek, Henry A. Kautz |
| 2009 | ASSETS | 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 A. Kautz, Kurt Johnson |
| 2009 | ICCV | Activity recognition using the velocity histories of tracked keypoints. | Ross Messing, Christopher J. Pal, Henry A. Kautz |
| 2008 | CVPR | Annotating collections of photos using hierarchical event and scene models. | Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang |
| 2008 | CVPR | Discovery of social relationships in consumer photo collections using Markov Logic. | Parag Singla, Henry A. Kautz, Jiebo Luo, Andrew C. Gallagher |
| 2007 | AAAI | Learning Large Scale Common Sense Models of Everyday Life. | William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz |
| 2007 | ICASSP | Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort. | Danny Wyatt, Tanzeem Choudhury, Henry A. Kautz |
| 2007 | IJCAI | SAT Encodings of State-Space Reachability Problems in Numeric Domains. | Jrg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 2007 | IJCAI | Training Conditional Random Fields Using Virtual Evidence Boosting. | Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz |
| 2007 | IJCAI | A Dynamic Approach for MPE and Weighted MAX-SAT. | Tian Sang, Paul Beame, Henry A. Kautz |
| 2007 | IJCAI | A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. | Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes, Henry A. Kautz |
| 2006 | AAAI | Deconstructing Planning as Satisfiability. | Henry A. Kautz |
| 2006 | AAAI | Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. | William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose |
| 2006 | ASSETS | Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. | Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson |
| 2005 | AAAI | Extending Continuous Time Bayesian Networks. | Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld |
| 2005 | AAAI | Performing Bayesian Inference by Weighted Model Counting. | Tian Sang, Paul Beame, Henry A. Kautz |
| 2005 | IJCAI | Location-Based Activity Recognition using Relational Markov Networks. | Lin Liao, Dieter Fox, Henry A. Kautz |
| 2005 | ISRR | Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. | Lin Liao, Dieter Fox, Henry A. Kautz |
| 2005 | ISWC | Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. | Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose |
| 2005 | SAT | Heuristics for Fast Exact Model Counting. | Tian Sang, Paul Beame, Henry A. Kautz |
| 2004 | AAAI | Learning and Inferring Transportation Routines. | Lin Liao, Dieter Fox, Henry A. Kautz |
| 2004 | AAAI | The Backdoor Key: A Path to Understanding Problem Hardness. | Yongshao Ruan, Henry A. Kautz, Eric Horvitz |
| 2004 | LPNMR | Toward A Universal Inference Engine. | Henry A. Kautz |
| 2004 | SAT | Combining Component Caching and Clause Learning for Effective Model Counting. | Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi |
| 2003 | CP | Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. | Henry A. Kautz, Bart Selman |
| 2003 | IJCAI | Understanding the Power of Clause Learning. | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
| 2003 | IROS | Voronoi tracking: location estimation using sparse and noisy sensor data. | Lin Liao, Dieter Fox, Jeffrey Hightower, Henry A. Kautz, Dirk Schulz |
| 2003 | IUI | Towards a theory of natural language interfaces to databases. | Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz |
| 2003 | IUI | Towards a theory of natural language interfaces to databases. | Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz |
| 2003 | SAT | Using Problem Structure for Efficient Clause Learning. | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
| 2002 | AAAI | Dynamic Restart Policies. | Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman |
| 2002 | CP | Restart Policies with Dependence among Runs: A Dynamic Programming Approach. | Yongshao Ruan, Eric Horvitz, Henry A. Kautz |
| 2001 | IJCAI | Balance and Filtering in Structured Satisfiable Problems. | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
| 2001 | UAI | A Bayesian Approach to Tackling Hard Computational Problems. | Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering |
| 2000 | AAAI | Generating Satisfiable Problem Instances. | Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman |
| 2000 | CADE | Scalable Knowledge Representation and Reasoning Systems. | Henry A. Kautz |
| 2000 | ICML | Learning Declarative Control Rules for Constraint-BAsed Planning. | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
| 2000 | KDD | Hardening soft information sources. | William W. Cohen, Henry A. Kautz, David A. McAllester |
| 1999 | AAAI | Control Knowledge in Planning: Benefits and Tradeoffs. | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
| 1999 | AAAI | State-space Planning by Integer Optimization. | Henry A. Kautz, Joachim P. Walser |
| 1999 | IJCAI | Unifying SAT-based and Graph-based Planning. | Henry A. Kautz, Bart Selman |
| 1998 | AAAI | Boosting Combinatorial Search Through Randomization. | Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 1997 | AAAI | Evidence for Invariants in Local Search. | David A. McAllester, Bart Selman, Henry A. Kautz |
| 1997 | IJCAI | Ten Challenges in Propositional Reasoning and Search. | Bart Selman, Henry A. Kautz, David A. McAllester |
| 1996 | AAAI | Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. | Henry A. Kautz, Bart Selman |
| 1996 | AAAI | Agent Amplified Communication. | Henry A. Kautz, Bart Selman, Al Milewski |
| 1996 | KR | Encoding Plans in Propositional Logic. | Henry A. Kautz, David A. McAllester, Bart Selman |
| 1995 | IJCAI | The Comparative Linguistics of Knowledge Representation. | Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman |
| 1994 | AAAI | An Empirical Evaluation of Knowledge Compilation by Theory Approximation. | Henry A. Kautz, Bart Selman |
| 1994 | AAAI | An Experiment in the Design of Software Agents. | Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming |
| 1994 | AAAI | Noise Strategies for Improving Local Search. | Bart Selman, Henry A. Kautz, Bram Cohen |
| 1993 | AAAI | Reasoning With Characteristic Models. | Henry A. Kautz, Michael J. Kearns, Bart Selman |
| 1993 | AAAI | An Empirical Study of Greedy Local Search for Satisfiability Testing. | Bart Selman, Henry A. Kautz |
| 1993 | IJCAI | Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. | Bart Selman, Henry A. Kautz |
| 1992 | AAAI | Forming Concepts for Fast Inference. | Henry A. Kautz, Bart Selman |
| 1992 | ECAI | Planning as Satisfiability. | Henry A. Kautz, Bart Selman |
| 1992 | ECAI | Forming Concepts for Fast Inference. | Henry A. Kautz, Bart Selman |
| 1991 | AAAI | Integrating Metric and Qualitative Temporal Reasoning. | Henry A. Kautz, Peter B. Ladkin |
| 1991 | AAAI | Knowledge Compilation using Horn Approximations. | Bart Selman, Henry A. Kautz |
| 1989 | IJCAI | Vivid Knowledge and Tractable Reasoning. | David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz |
| 1989 | KR | Hard Problems for Simple Default Logics. | Henry A. Kautz, Bart Selman |
| 1986 | AAAI | The Logic of Persistence. | Henry A. Kautz |
| 1986 | AAAI | Generalized Plan Recognition. | Henry A. Kautz, James F. Allen |
| 1986 | AAAI | Constraint Propagation Algorithms for Temporal Reasoning. | Marc B. Vilain, Henry A. Kautz |