The Logic of Persistence. - Henry A. Kautz (AAAI, 1986)

Generalized Plan Recognition. - Henry A. Kautz; James F. Allen (AAAI, 1986)

Constraint Propagation Algorithms for Temporal Reasoning. - Marc B. Vilain; Henry A. Kautz (AAAI, 1986)

The Complexity of Model-Preference Default Theories. - Bart Selman; Henry A. Kautz (NMR, 1988)

Vivid Knowledge and Tractable Reasoning. - David W. Etherington; Alexander Borgida; Ronald J. Brachman; Henry A. Kautz (IJCAI, 1989)

Model-Preference Default Theories. - Bart Selman; Henry A. Kautz (Artif. Intell., 1990)

Reasoning about plans. - James F. Allen; Henry A. Kautz; Richard N. Pelavin; Josh D. Tenenberg (Morgan Kaufmann, 1991)

Integrating Metric and Qualitative Temporal Reasoning. - Henry A. Kautz; Peter B. Ladkin (AAAI, 1991)

Knowledge Compilation using Horn Approximations. - Bart Selman; Henry A. Kautz (AAAI, 1991)

A General Framework for Knowledge Compilation. - Henry A. Kautz; Bart Selman (PDK, 1991)

Hard Problems for Simple Default Logics. - Henry A. Kautz; Bart Selman (Artif. Intell., 1991)

Forming Concepts for Fast Inference. - Henry A. Kautz; Bart Selman (AAAI, 1992)

Planning as Satisfiability. - Henry A. Kautz; Bart Selman (ECAI, 1992)

Reasoning With Characteristic Models. - Henry A. Kautz; Michael J. Kearns; Bart Selman (AAAI, 1993)

An Empirical Study of Greedy Local Search for Satisfiability Testing. - Bart Selman; Henry A. Kautz (AAAI, 1993)

Local search strategies for satisfiability testing. - Bart Selman; Henry A. Kautz; Bram Cohen (Cliques, Coloring, and Satisfiability, 1993)

Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. - Bart Selman; Henry A. Kautz (IJCAI, 1993)

An Empirical Evaluation of Knowledge Compilation by Theory Approximation. - Henry A. Kautz; Bart Selman (AAAI, 1994)

An Experiment in the Design of Software Agents. - Henry A. Kautz; Bart Selman; Michael H. Coen; Steven P. Ketchpel; Chris Ramming (AAAI, 1994)

Noise Strategies for Improving Local Search. - Bart Selman; Henry A. Kautz; Bram Cohen (AAAI, 1994)

The Fourth International Workshop on Nonmonotonic Reasoning. - David W. Etherington; Henry A. Kautz (AI Mag., 1994)

Bottom-Up Design of Software Agents. - Henry A. Kautz; Bart Selman; Michael H. Coen (Commun. ACM, 1994)

Introduction to the Special Issue. - David W. Etherington; Henry A. Kautz; Kurt Konolige (Fundam. Informaticae, 1994)

The Comparative Linguistics of Knowledge Representation. - Goran Gogic; Henry A. Kautz; Christos H. Papadimitriou; Bart Selman (IJCAI (1), 1995)

Horn Approximations of Empirical Data. - Henry A. Kautz; Michael J. Kearns; Bart Selman (Artif. Intell., 1995)

Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. - Henry A. Kautz; Bart Selman (AAAI/IAAI, Vol. 2, 1996)

Agent Amplified Communication. - Henry A. Kautz; Bart Selman; Al Milewski (AAAI/IAAI, Vol. 1, 1996)

A general stochastic approach to solving problems with hard and soft constraints. - Henry A. Kautz; Bart Selman; YueYen Jiang (Satisfiability Problem: Theory and Applications, 1996)

Encoding Plans in Propositional Logic. - Henry A. Kautz; David A. McAllester; Bart Selman (KR, 1996)

Knowledge Compilation and Theory Approximation. - Bart Selman; Henry A. Kautz (J. ACM, 1996)

Evidence for Invariants in Local Search. - David A. McAllester; Bart Selman; Henry A. Kautz (AAAI/IAAI, 1997)

Ten Challenges in Propositional Reasoning and Search. - Bart Selman; Henry A. Kautz; David A. McAllester (IJCAI (1), 1997)

The Hidden Web. - Henry A. Kautz; Bart Selman; Mehul A. Shah (AI Mag., 1997)

Referral Web: Combining Social Networks and Collaborative Filtering. - Henry A. Kautz; Bart Selman; Mehul A. Shah (Commun. ACM, 1997)

Boosting Combinatorial Search Through Randomization. - Carla P. Gomes; Bart Selman; Henry A. Kautz (AAAI/IAAI, 1998)

The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. - Henry A. Kautz; Bart Selman (AIPS, 1998)

Control Knowledge in Planning: Benefits and Tradeoffs. - Yi-Cheng Huang; Bart Selman; Henry A. Kautz (AAAI/IAAI, 1999)

State-space Planning by Integer Optimization. - Henry A. Kautz; Joachim P. Walser (AAAI/IAAI, 1999)

Unifying SAT-based and Graph-based Planning. - Henry A. Kautz; Bart Selman (IJCAI, 1999)

Generating Satisfiable Problem Instances. - Dimitris Achlioptas; Carla P. Gomes; Henry A. Kautz; Bart Selman (AAAI/IAAI, 2000)

Scalable Knowledge Representation and Reasoning Systems. - Henry A. Kautz (CADE, 2000)

Learning Declarative Control Rules for Constraint-BAsed Planning. - Yi-Cheng Huang; Bart Selman; Henry A. Kautz (ICML, 2000)

Hardening soft information sources. - William W. Cohen; Henry A. Kautz; David A. McAllester (KDD, 2000)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. - Carla P. Gomes; Bart Selman; Nuno Crato; Henry A. Kautz (J. Autom. Reason., 2000)

Balance and Filtering in Structured Satisfiable Problems. - Henry A. Kautz; Yongshao Ruan; Dimitris Achlioptas; Carla P. Gomes; Bart Selman; Mark E. Stickel (IJCAI, 2001)

A Bayesian Approach to Tackling Hard Computational Problems. - Eric Horvitz; Yongshao Ruan; Carla P. Gomes; Henry A. Kautz; Bart Selman; David Maxwell Chickering (UAI, 2001)

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). - Eric Horvitz; Yongshao Ruan; Carla P. Gomes; Henry A. Kautz; Bart Selman; David Maxwell Chickering (Electron. Notes Discret. Math., 2001)

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). - Henry A. Kautz; Yongshao Ruan; Dimitris Achlioptas; Carla P. Gomes; Bart Selman; Mark E. Stickel (Electron. Notes Discret. Math., 2001)

Preface: Volume 9. - Henry A. Kautz; Bart Selman (Electron. Notes Discret. Math., 2001)

Auto-Walksat: A Self-Tuning Implementation of Walksat. - Donald J. Patterson; Henry A. Kautz (Electron. Notes Discret. Math., 2001)

Dynamic Restart Policies. - Henry A. Kautz; Eric Horvitz; Yongshao Ruan; Carla P. Gomes; Bart Selman (AAAI/IAAI, 2002)

Restart Policies with Dependence among Runs: A Dynamic Programming Approach. - Yongshao Ruan; Eric Horvitz; Henry A. Kautz (CP, 2002)

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. - Henry A. Kautz; Bart Selman (CP, 2003)

Inferring High-Level Behavior from Low-Level Sensors. - Donald J. Patterson; Lin Liao; Dieter Fox; Henry A. Kautz (UbiComp, 2003)

Understanding the Power of Clause Learning. - Paul Beame; Henry A. Kautz; Ashish Sabharwal (IJCAI, 2003)

Voronoi tracking: location estimation using sparse and noisy sensor data. - Lin Liao; Dieter Fox; Jeffrey Hightower; Henry A. Kautz; Dirk Schulz 001 (IROS, 2003)

Towards a theory of natural language interfaces to databases. - Ana-Maria Popescu; Oren Etzioni; Henry A. Kautz (IUI, 2003)

Towards a Theory of Question-Answering Interfaces to Databases. - Ana-Maria Popescu; Oren Etzioni; Henry A. Kautz (New Directions in Question Answering, 2003)

Using Problem Structure for Efficient Clause Learning. - Ashish Sabharwal; Paul Beame; Henry A. Kautz (SAT, 2003)

Learning and Inferring Transportation Routines. - Lin Liao; Dieter Fox; Henry A. Kautz (AAAI, 2004)

The Backdoor Key: A Path to Understanding Problem Hardness. - Yongshao Ruan; Henry A. Kautz; Eric Horvitz (AAAI, 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; Henry A. Kautz (UbiComp, 2004)

Toward A Universal Inference Engine. - Henry A. Kautz (LPNMR, 2004)

Combining Component Caching and Clause Learning for Effective Model Counting. - Tian Sang; Fahiem Bacchus; Paul Beame; Henry A. Kautz; Toniann Pitassi (SAT, 2004)

Towards Understanding and Harnessing the Potential of Clause Learning. - Paul Beame; Henry A. Kautz; Ashish Sabharwal (J. Artif. Intell. Res., 2004)

Inferring Activities from Interactions with Objects. - Matthai Philipose; Kenneth P. Fishkin; Mike Perkowitz; Donald J. Patterson; Dieter Fox; Henry A. Kautz; Dirk Hähnel (IEEE Pervasive Comput., 2004)

Extending Continuous Time Bayesian Networks. - Karthik Gopalratnam; Henry A. Kautz; Daniel S. Weld (AAAI, 2005)

Performing Bayesian Inference by Weighted Model Counting. - Tian Sang; Paul Beame; Henry A. Kautz (AAAI, 2005)

05241 Executive Summary - Synthesis and Planning. - Henry A. Kautz; Wolfgang Thomas; Moshe Y. Vardi (Synthesis and Planning, 2005)

05241 Abstracts Collection - Synthesis and Planning. - Henry A. Kautz; Wolfgang Thomas; Moshe Y. Vardi (Synthesis and Planning, 2005)

Location-Based Activity Recognition using Relational Markov Networks. - Lin Liao; Dieter Fox; Henry A. Kautz (IJCAI, 2005)

Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. - Lin Liao; Dieter Fox; Henry A. Kautz (ISRR, 2005)

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. - Donald J. Patterson; Dieter Fox; Henry A. Kautz; Matthai Philipose (ISWC, 2005)

Location-based activity recognition. - Lin Liao; Dieter Fox; Henry A. Kautz (NIPS, 2005)

Heuristics for Fast Exact Model Counting. - Tian Sang; Paul Beame; Henry A. Kautz (SAT, 2005)

Constraints and AI Planning. - Alexander Nareyek; Eugene C. Freuder; Robert Fourer; Enrico Giunchiglia; Robert P. Goldman; Henry A. Kautz; Jussi Rintanen; Austin Tate (IEEE Intell. Syst., 2005)

Deconstructing Planning as Satisfiability. - Henry A. Kautz (AAAI, 2006)

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 (AAAI, 2006)

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 (ASSETS, 2006)

Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments. - Alan L. Liu; Harlan Hile; Gaetano Borriello; Henry A. Kautz; Brian Ferris; Pat A. Brown; Mark Harniss; Kurt Johnson (PervasiveHealth, 2006)

Learning Large Scale Common Sense Models of Everyday Life. - William Pentney; Matthai Philipose; Jeff A. Bilmes; Henry A. Kautz (AAAI, 2007)

Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort. - Danny Wyatt; Tanzeem Choudhury; Henry A. Kautz (ICASSP (4), 2007)

SAT Encodings of State-Space Reachability Problems in Numeric Domains. - Jörg Hoffmann 001; Carla P. Gomes; Bart Selman; Henry A. Kautz (IJCAI, 2007)

Training Conditional Random Fields Using Virtual Evidence Boosting. - Lin Liao; Tanzeem Choudhury; Dieter Fox; Henry A. Kautz (IJCAI, 2007)

A Dynamic Approach for MPE and Weighted MAX-SAT. - Tian Sang; Paul Beame; Henry A. Kautz (IJCAI, 2007)

A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. - Danny Wyatt; Tanzeem Choudhury; Jeff A. Bilmes; Henry A. Kautz (IJCAI, 2007)

Learning and inferring transportation routines. - Lin Liao; Donald J. Patterson; Dieter Fox; Henry A. Kautz (Artif. Intell., 2007)

The state of SAT. - Henry A. Kautz; Bart Selman (Discret. Appl. Math., 2007)

Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. - Lin Liao; Dieter Fox; Henry A. Kautz (Int. J. Robotics Res., 2007)

Integrating Sensing and Cueing for More Effective Activity Reminders. - Joseph Modayil; Richard Levinson; Craig Harman; David Halper; Henry A. Kautz (AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems, 2008)

Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. - Sangho Park; Henry A. Kautz (AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems, 2008)

Annotating collections of photos using hierarchical event and scene models. - Liangliang Cao; Jiebo Luo 001; Henry A. Kautz; Thomas S. Huang (CVPR, 2008)

Discovery of social relationships in consumer photo collections using Markov Logic. - Parag Singla; Henry A. Kautz; Jiebo Luo 001; Andrew C. Gallagher (CVPR Workshops, 2008)

Improving the recognition of interleaved activities. - Joseph Modayil; Tongxin Bai; Henry A. Kautz (UbiComp, 2008)

Mining GPS traces and visual words for event classification. - Junsong Yuan 001; Jiebo Luo 001; Henry A. Kautz; Ying Wu 001 (Multimedia Information Retrieval, 2008)

Satisfiability Solvers. - Carla P. Gomes; Henry A. Kautz; Ashish Sabharwal; Bart Selman (Handbook of Knowledge Representation, 2008)

Organizing Committee. - Tanzeem Choudhury; Ashish Kapoor; Henry A. Kautz (AAAI Spring Symposium: Human Behavior Modeling, 2009)

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 (ASSETS, 2009)

Activity recognition using the velocity histories of tracked keypoints. - Ross Messing; Christopher J. Pal; Henry A. Kautz (ICCV, 2009)

Informing the design of an automated wayfinding system for individuals with cognitive impairments. - Alan L. Liu; Harlan Hile; Gaetano Borriello; Henry A. Kautz; Pat A. Brown; Mark Harniss; Kurt Johnson (PervasiveHealth, 2009)

Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models. - Liangliang Cao; Jiebo Luo 001; Henry A. Kautz; Thomas S. Huang (IEEE Trans. Multim., 2009)

Incomplete Algorithms. - Henry A. Kautz; Ashish Sabharwal; Bart Selman (Handbook of Satisfiability, 2009)

Recognizing Multi-Agent Activities from GPS Data. - Adam Sadilek; Henry A. Kautz (AAAI, 2010)

AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. - Eric Horvitz; Lise Getoor; Carlos Guestrin; James A. Hendler; Joseph A. Konstan; Devika Subramanian; Michael P. Wellman; Henry A. Kautz (AI Mag., 2010)

AAAI Leadership Transition. - Martha E. Pollack; Henry A. Kautz (AI Mag., 2010)

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 (Artificial Intelligence and Smarter Living, 2011)

Constraint Propagation for Efficient Inference in Markov Logic. - Tivadar Papai; Parag Singla; Henry A. Kautz (CP, 2011)

Plan Recognition (Dagstuhl Seminar 11141). - Robert P. Goldman; Christopher W. Geib; Henry A. Kautz; Tamim Asfour (Dagstuhl Reports, 2011)

Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. - Adam Sadilek; Henry A. Kautz (Mobile Context Awareness, 2012)

Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. - Adam Sadilek; Henry A. Kautz; Vincent Silenzio (AAAI, 2012)

A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. - Young Chol Song; Henry A. Kautz (AAAI, 2012)

Modeling Spread of Disease from Social Interactions. - Adam Sadilek; Henry A. Kautz; Vincent Silenzio (ICWSM, 2012)

Slice Normalized Dynamic Markov Logic Networks. - Tivadar Papai; Henry A. Kautz; Daniel Stefankovic (NIPS, 2012)

Combining Subjective Probabilities and Data in Training Markov Logic Networks. - Tivadar Papai; Shalini Ghosh; Henry A. Kautz (ECML/PKDD (1), 2012)

Finding your friends and following them to where you are. - Adam Sadilek; Henry A. Kautz; Jeffrey P. Bigham (WSDM, 2012)

Location-Based Reasoning about Complex Multi-Agent Behavior. - Adam Sadilek; Henry A. Kautz (J. Artif. Intell. Res., 2012)

Interactive activity recognition and prompting to assist people with cognitive disabilities. - Yi Chu; Young Chol Song; Richard Levinson; Henry A. Kautz (J. Ambient Intell. Smart Environ., 2012)

Modal Markov Logic for Multiple Agents. - Tivadar Papai; Henry A. Kautz (StarAI@AAAI, 2013)

A General Framework for Recognizing Complex Events in Markov Logic. - Young Chol Song; Henry A. Kautz; Yuncheng Li; Jiebo Luo 001 (StarAI@AAAI, 2013)

Real-time crowd labeling for deployable activity recognition. - Walter S. Lasecki; Young Chol Song; Henry A. Kautz; Jeffrey P. Bigham (CSCW, 2013)

nEmesis: Which Restaurants Should You Avoid Today? - Adam Sadilek; Sean Brennan 002; Henry A. Kautz; Vincent Silenzio (HCOMP, 2013)

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 001; Ce Zhang 001 (ICMI, 2013)

Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. - Sean Brennan 002; Adam Sadilek; Henry A. Kautz (IJCAI, 2013)

Modeling The Interplay of People's Location, Interactions, and Social Ties. - Adam Sadilek; Henry A. Kautz (IJCAI, 2013)

Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. - Tivadar Papai; Henry A. Kautz; Daniel Stefankovic (TARK, 2013)

Modeling the impact of lifestyle on health at scale. - Adam Sadilek; Henry A. Kautz (WSDM, 2013)

Unsupervised Alignment of Natural Language Instructions with Video Segments. - Iftekhar Naim; Young Chol Song; Qiguang Liu; Henry A. Kautz; Jiebo Luo 001; Daniel Gildea (AAAI, 2014)

Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns. - Danning Zheng; Tianran Hu; Quanzeng You; Henry A. Kautz; Jiebo Luo 001 (GeoMM, 2014)

Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. - Dawei Zhou 003; Jiebo Luo 001; Vincent M. B. Silenzio; Yun Zhou; Jile Hu; Glenn Currier; Henry A. Kautz (AAAI, 2015)

Monitoring adolescent alcohol use via multimodal analysis in social multimedia. - Ran Pang; Agustin Baretto; Henry A. Kautz; Jiebo Luo 001 (IEEE BigData, 2015)

Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study. - Solomon O. Abiola; Eric Portman; Henry A. Kautz; Earl Ray Dorsey (UbiComp/ISWC Adjunct, 2015)

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 001 (ICWSM, 2015)

Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments. - Iftekhar Naim; Young Chol Song; Qiguang Liu; Liang Huang 001; Henry A. Kautz; Jiebo Luo 001; Daniel Gildea (HLT-NAACL, 2015)

Lifted Symmetry Detection and Breaking for MAP Inference. - Timothy Kopp; Parag Singla; Henry A. Kautz (NIPS, 2015)

Job-related discourse on social media. - Tong Liu 010; Christopher M. Homan; Cecilia Ovesdotter Alm; Ann Marie White; Megan C. Lytle-Flint; Henry A. Kautz (CoRR, 2015)

Toward Caching Symmetrical Subtheories for Weighted Model Counting. - Timothy Kopp; Parag Singla; Henry A. Kautz (AAAI Workshop: Beyond NP, 2016)

Understanding Discourse on Work and Job-Related Well-Being in Public Social Media. - Tong Liu 010; Christopher Homan; Cecilia Ovesdotter Alm; Megan C. Lytle; Ann Marie White; Henry A. Kautz (ACL (1), 2016)

Aligning movies with scripts by exploiting temporal ordering constraints. - Iftekhar Naim; Abdullah Al Mamun 002; Young Chol Song; Jiebo Luo 001; Henry A. Kautz; Daniel Gildea (ICPR, 2016)

Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. - Nabil Hossain; Tianran Hu; Roghayeh Feizi; Ann Marie White; Jiebo Luo 001; Henry A. Kautz (ICWSM, 2016)

Unsupervised Alignment of Actions in Video with Text Descriptions. - Young Chol Song; Iftekhar Naim; Abdullah Al Mamun 002; Kaustubh Kulkarni; Parag Singla; Jiebo Luo 001; Daniel Gildea; Henry A. Kautz (IJCAI, 2016)

Technical Perspective: Combining logic and probability. - Henry A. Kautz; Parag Singla (Commun. ACM, 2016)

Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. - Nabil Hossain; Tianran Hu; Roghayeh Feizi; Ann Marie White; Jiebo Luo 001; Henry A. Kautz (CoRR, 2016)

Home location inference from sparse and noisy data: models and applications. - Tianran Hu; Jiebo Luo 001; Henry A. Kautz; Adam Sadilek (Frontiers Inf. Technol. Electron. Eng., 2016)

Conditional Term Equivalent Symmetry Breaking for SAT. - Timothy Kopp; Parag Singla; Henry A. Kautz (AAAI Workshops, 2017)

Filling the Blanks (hint: plural noun) for Mad Libs Humor. - Nabil Hossain; John Krumm; Lucy Vanderwende; Eric Horvitz; Henry A. Kautz (EMNLP, 2017)

Twitter911: A Cautionary Tale. - Anis Zaman; Nabil Hossain; Henry A. Kautz (ICWSM, 2017)

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 (AI Mag., 2017)

Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. - Tianran Hu; Eric Bigelow; Jiebo Luo 001; Henry A. Kautz (IEEE Trans. Big Data, 2017)

Discovering Political Slang in Readers' Comments. - Nabil Hossain; Thanh Thuy Trang Tran; Henry A. Kautz (ICWSM, 2018)

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 (ICWSM, 2018)

Predicting Acute Kidney Injury at Hospital Re-entry Using High-dimensional Electronic Health Record Data. - Samuel J. Weisenthal; Caroline M. Quill; Samir A. Farooq; Henry A. Kautz; Martin S. Zand (CoRR, 2018)

Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News. - Rijul Magu; Nabil Hossain; Henry A. Kautz (CoRR, 2018)

CupQ: A New Clinical Literature Search Engine. - Jesse Wang; Henry A. Kautz (KDIR, 2019)

Detecting Low Self-Esteem in Youths from Web Search Data. - Anis Zaman; Rupam Acharyya; Henry A. Kautz; Vincent Silenzio (WWW, 2019)

Inferring Nighttime Satellite Imagery from Human Mobility. - Brian Dickinson; Gourab Ghoshal; Xerxes Dotiwalla; Adam Sadilek; Henry A. Kautz (AAAI, 2020)

Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. - Nabil Hossain; John Krumm; Tanvir Sajed; Henry A. Kautz (ACL (demo), 2020)

A Framework for Political Portmanteau Decomposition. - Nabil Hossain; Minh Tran; Henry A. Kautz (ICWSM, 2020)

MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes. - Anis Zaman; Vincent Silenzio; Henry A. Kautz (PervasiveHealth, 2020)

SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. - Nabil Hossain; John Krumm; Michael Gamon; Henry A. Kautz (SemEval@COLING, 2020)

Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine. - Anis Zaman; Boyu Zhang; Vincent Silenzio; Ehsan Hoque 001; Henry A. Kautz (CoRR, 2020)

The Relationship between Deteriorating Mental Health Conditions and Longitudinal Behavioral Changes in Google and YouTube Usages among College Students in the United States during COVID-19: Observational Study. - Anis Zaman; Boyu Zhang; Ehsan Hoque 001; Vincent Silenzio; Henry A. Kautz (CoRR, 2020)

Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs. - Boyu Zhang; Anis Zaman; Rupam Acharyya; Ehsan Hoque 001; Vincent Silenzio; Henry A. Kautz (CoRR, 2020)

Explaining Local, Global, And Higher-Order Interactions In Deep Learning. - Samuel Lerman; Charles Venuto; Henry A. Kautz; Chenliang Xu (ICCV, 2021)

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 001 (ICWSM Workshops, 2021)

Incomplete Algorithms. - Henry A. Kautz; Ashish Sabharwal; Bart Selman (Handbook of Satisfiability, 2021)

The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture. - Henry A. Kautz (AI Mag., 2022)

SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems. - Ahmet Yusuf Salim; Bart Selman; Henry A. Kautz; Zeljko Ignjatovic; Selçuk Köse (CoRR, 2024)