Henry A. Kautz

191 papers A* 49A 24B 5C 1Misc 4Journal 52Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The Clever Hans Mirage: A Comprehensive Survey on Spurious Correlations in Machine Learning. Trans. Mach. Learn. Res. Wenqian Ye, Luyang Jiang, Eric Xie, Guangtao Zheng, Yunsheng Ma, Xu Cao, Dongliang Guo, Daiqing Qi, Zeyu He, Yijun Tian, Christopher W. Porter, Megan Coffee, Zhe Zeng, Sheng Li, Ziran Wang, Ting-Hao Kenneth Huang, James Matthew Rehg, Henry A. Kautz, Aidong Zhang
2025	J	`jnl`	SKI-SAT: A CMOS-Compatible Hardware for Solving SAT Problems. IEEE Trans. Circuits Syst. I Regul. Pap. Ahmet Yusuf Salim, Bart Selman, Henry A. Kautz, Zeljko Ignjatovic, Selçuk Köse
2024	J	`jnl`	SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems. CoRR Ahmet Yusuf Salim, Bart Selman, Henry A. Kautz, Zeljko Ignjatovic, Selçuk Köse
2022	J	`jnl`	The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture. AI Mag. Henry A. Kautz
2021	A*	`conf`	Explaining Local, Global, And Higher-Order Interactions In Deep Learning. ICCV Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu
2021	—	`ch.`	Incomplete Algorithms. Handbook of Satisfiability Henry A. Kautz, Ashish Sabharwal, Bart Selman
2021	—	`conf`	Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs. ICWSM Workshops Anis Zaman, Boyu Zhang, Vincent Silenzio, Henry A. Kautz, Ehsan Hoque
2020	A	`conf`	A Framework for Political Portmanteau Decomposition. ICWSM Nabil Hossain, Minh Tran, Henry A. Kautz
2020	J	`jnl`	Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs. CoRR Boyu Zhang, Anis Zaman, Rupam Acharyya, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz
2020	J	`jnl`	Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine. CoRR Anis Zaman, Boyu Zhang, Vincent Silenzio, Ehsan Hoque, Henry A. Kautz
2020	J	`jnl`	Explaining Local, Global, And Higher-Order Interactions In Deep Learning. CoRR Samuel Lerman, Chenliang Xu, Charles Venuto, Henry A. Kautz
2020	A*	`conf`	Inferring Nighttime Satellite Imagery from Human Mobility. AAAI Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz
2020	J	`jnl`	Inferring Nighttime Satellite Imagery from Human Mobility. CoRR Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz
2020	—	`conf`	MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes. PervasiveHealth Anis Zaman, Vincent Silenzio, Henry A. Kautz
2020	—	`conf`	SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. SemEval@COLING Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz
2020	J	`jnl`	SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. CoRR Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz
2020	—	`conf`	Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. ACL (demo) Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz
2020	J	`jnl`	Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. CoRR Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz
2020	J	`jnl`	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. CoRR Anis Zaman, Boyu Zhang, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz
2019	—	`conf`	CupQ: A New Clinical Literature Search Engine. KDIR Jesse Wang, Henry A. Kautz
2019	J	`jnl`	CupQ: A New Clinical Literature Search Engine. CoRR Jesse Wang, Henry A. Kautz
2019	A*	`conf`	Detecting Low Self-Esteem in Youths from Web Search Data. WWW Anis Zaman, Rupam Acharyya, Henry A. Kautz, Vincent Silenzio
2018	J	`jnl`	Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News. CoRR Rijul Magu, Nabil Hossain, Henry A. Kautz
2018	A	`conf`	Discovering Political Slang in Readers' Comments. ICWSM Nabil Hossain, Thanh Thuy Trang Tran, Henry A. Kautz
2018	A	`conf`	Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media. ICWSM Ann Marie White, Linxiao Bai, Christopher Homan, Melanie Funchess, Catherine Cerulli, Amen Ptah, Deepak Pandita, Henry A. Kautz
2018	J	`jnl`	Predicting Acute Kidney Injury at Hospital Re-entry Using High-dimensional Electronic Health Record Data. CoRR Samuel J. Weisenthal, Caroline M. Quill, Samir A. Farooq, Henry A. Kautz, Martin S. Zand
2017	—	`conf`	Conditional Term Equivalent Symmetry Breaking for SAT. AAAI Workshops Timothy Kopp, Parag Singla, Henry A. Kautz
2017	J	`jnl`	Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AI Mag. Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio
2017	A*	`conf`	Filling the Blanks (hint: plural noun) for Mad Libs Humor. EMNLP Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, Henry A. Kautz
2017	J	`jnl`	Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. CoRR Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz
2017	J	`jnl`	Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. IEEE Trans. Big Data Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz
2017	A	`conf`	Twitter911: A Cautionary Tale. ICWSM Anis Zaman, Nabil Hossain, Henry A. Kautz
2016	B	`conf`	Aligning movies with scripts by exploiting temporal ordering constraints. ICPR Iftekhar Naim, Abdullah Al Mamun, Young Chol Song, Jiebo Luo, Henry A. Kautz, Daniel Gildea
2016	A*	`conf`	Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AAAI Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio
2016	J	`jnl`	Home location inference from sparse and noisy data: models and applications. Frontiers Inf. Technol. Electron. Eng. Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek
2016	J	`jnl`	Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. CoRR Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz
2016	A	`conf`	Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. ICWSM Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz
2016	J	`jnl`	Technical Perspective: Combining logic and probability. Commun. ACM Henry A. Kautz, Parag Singla
2016	—	`conf`	Toward Caching Symmetrical Subtheories for Weighted Model Counting. AAAI Workshop: Beyond NP Timothy Kopp, Parag Singla, Henry A. Kautz
2016	—	`conf`	Understanding Discourse on Work and Job-Related Well-Being in Public Social Media. ACL (1) Tong Liu, Christopher Homan, Cecilia Ovesdotter Alm, Megan C. Lytle, Ann Marie White, Henry A. Kautz
2016	A*	`conf`	Unsupervised Alignment of Actions in Video with Text Descriptions. IJCAI Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz
2015	—	`conf`	Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments. HLT-NAACL Iftekhar Naim, Young Chol Song, Qiguang Liu, Liang Huang, Henry A. Kautz, Jiebo Luo, Daniel Gildea
2015	—	`conf`	Home Location Inference from Sparse and Noisy Data: Models and Applications. ICDM Workshops Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek
2015	J	`jnl`	Job-related discourse on social media. CoRR Tong Liu, Christopher M. Homan, Cecilia Ovesdotter Alm, Ann Marie White, Megan C. Lytle-Flint, Henry A. Kautz
2015	—	`conf`	Lifted Symmetry Detection and Breaking for MAP Inference. NIPS Timothy Kopp, Parag Singla, Henry A. Kautz
2015	—	`conf`	Monitoring adolescent alcohol use via multimodal analysis in social multimedia. IEEE BigData Ran Pang, Agustin Baretto, Henry A. Kautz, Jiebo Luo
2015	—	`conf`	Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study. UbiComp/ISWC Adjunct Solomon O. Abiola, Eric Portman, Henry A. Kautz, Earl Ray Dorsey
2015	A*	`conf`	Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. AAAI Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz
2015	A	`conf`	Towards Lifestyle Understanding: Predicting Home and Vacation Locations from User's Online Photo Collections. ICWSM Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo
2014	—	`conf`	Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns. GeoMM Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo
2014	J	`jnl`	Location-Based Reasoning about Complex Multi-Agent Behavior. CoRR Adam Sadilek, Henry A. Kautz
2014	A*	`conf`	Unsupervised Alignment of Natural Language Instructions with Video Segments. AAAI Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry A. Kautz, Jiebo Luo, Daniel Gildea
2013	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems CoRR Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2013	—	`conf`	A General Framework for Recognizing Complex Events in Markov Logic. StarAI@AAAI Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo
2013	—	`conf`	A General Framework for Recognizing Complex Events in Markov Logic. AAAI Workshop: Plan, Activity, and Intent Recognition Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo
2013	B	`conf`	A Markov logic framework for recognizing complex events from multimodal data. ICMI Young Chol Song, Henry A. Kautz, James F. Allen, Mary D. Swift, Yuncheng Li, Jiebo Luo, Ce Zhang
2013	—	`conf`	Modal Markov Logic for Multiple Agents. StarAI@AAAI Tivadar Papai, Henry A. Kautz
2013	A*	`conf`	Modeling The Interplay of People's Location, Interactions, and Social Ties. IJCAI Adam Sadilek, Henry A. Kautz
2013	A	`conf`	Modeling the impact of lifestyle on health at scale. WSDM Adam Sadilek, Henry A. Kautz
2013	A	`conf`	Real-time crowd labeling for deployable activity recognition. CSCW Walter S. Lasecki, Young Chol Song, Henry A. Kautz, Jeffrey P. Bigham
2013	B	`conf`	Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. TARK Tivadar Papai, Henry A. Kautz, Daniel Stefankovic
2013	J	`jnl`	Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. CoRR Tivadar Papai, Henry A. Kautz, Daniel Stefankovic
2013	A*	`conf`	Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. IJCAI Sean Brennan, Adam Sadilek, Henry A. Kautz
2013	B	`conf`	nEmesis: Which Restaurants Should You Avoid Today? HCOMP Adam Sadilek, Sean Brennan, Henry A. Kautz, Vincent Silenzio
2012	A*	`conf`	A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. AAAI Young Chol Song, Henry A. Kautz
2012	—	`conf`	Combining Subjective Probabilities and Data in Training Markov Logic Networks. ECML/PKDD (1) Tivadar Papai, Shalini Ghosh, Henry A. Kautz
2012	A	`conf`	Finding your friends and following them to where you are. WSDM Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham
2012	J	`jnl`	Interactive activity recognition and prompting to assist people with cognitive disabilities. J. Ambient Intell. Smart Environ. Yi Chu, Young Chol Song, Richard Levinson, Henry A. Kautz
2012	J	`jnl`	Location-Based Reasoning about Complex Multi-Agent Behavior. J. Artif. Intell. Res. Adam Sadilek, Henry A. Kautz
2012	A	`conf`	Modeling Spread of Disease from Social Interactions. ICWSM Adam Sadilek, Henry A. Kautz, Vincent Silenzio
2012	—	`ch.`	Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. Mobile Context Awareness Adam Sadilek, Henry A. Kautz
2012	A*	`conf`	Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. AAAI Adam Sadilek, Henry A. Kautz, Vincent Silenzio
2012	—	`conf`	Slice Normalized Dynamic Markov Logic Networks. NIPS Tivadar Papai, Henry A. Kautz, Daniel Stefankovic
2012	—	`conf`	Slice Normalized Dynamic Markov Logic Networks. StarAI@UAI Tivadar Papai, Henry A. Kautz, Daniel Stefankovic
2011	A	`conf`	Constraint Propagation for Efficient Inference in Markov Logic. CP Tivadar Papai, Parag Singla, Henry A. Kautz
2011	J	`jnl`	Plan Recognition (Dagstuhl Seminar 11141). Dagstuhl Reports Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour
2011	J	`jnl`	Towards Understanding and Harnessing the Potential of Clause Learning CoRR Paul Beame, Henry A. Kautz, Ashish Sabharwal
2011	—	`conf`	When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting. Artificial Intelligence and Smarter Living Yi Chu, Young Chol Song, Henry A. Kautz, Richard Levinson
2010	—	`ed.`	2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012 StarAI@UAI Henry A. Kautz, Kristian Kersting, Sriraam Natarajan, David Poole
2010	J	`jnl`	AAAI Leadership Transition. AI Mag. Martha E. Pollack, Henry A. Kautz
2010	J	`jnl`	AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. AI Mag. Eric Horvitz, Lise Getoor, Carlos Guestrin, James A. Hendler, Joseph A. Konstan, Devika Subramanian, Michael P. Wellman, Henry A. Kautz
2010	A*	`ed.`	Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010 ICAPS Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz
2010	A*	`conf`	Recognizing Multi-Agent Activities from GPS Data. AAAI Adam Sadilek, Henry A. Kautz
2009	A*	`conf`	Activity recognition using the velocity histories of tracked keypoints. ICCV Ross Messing, Christopher J. Pal, Henry A. Kautz
2009	A	`conf`	Customizing directions in an automated wayfinding system for individuals with cognitive impairment. ASSETS Alan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry A. Kautz, Kurt Johnson
2009	J	`jnl`	Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models. IEEE Trans. Multim. Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang
2009	—	`ch.`	Incomplete Algorithms. Handbook of Satisfiability Henry A. Kautz, Ashish Sabharwal, Bart Selman
2009	—	`conf`	Informing the design of an automated wayfinding system for individuals with cognitive impairments. PervasiveHealth Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz, Pat A. Brown, Mark Harniss, Kurt Johnson
2009	—	`conf`	Organizing Committee. AAAI Spring Symposium: Human Behavior Modeling Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz
2008	A*	`conf`	Annotating collections of photos using hierarchical event and scene models. CVPR Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang
2008	—	`conf`	Discovery of social relationships in consumer photo collections using Markov Logic. CVPR Workshops Parag Singla, Henry A. Kautz, Jiebo Luo, Andrew C. Gallagher
2008	Misc	`conf`	Improving the recognition of interleaved activities. UbiComp Joseph Modayil, Tongxin Bai, Henry A. Kautz
2008	—	`conf`	Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems Joseph Modayil, Richard Levinson, Craig Harman, David Halper, Henry A. Kautz
2008	—	`conf`	Mining GPS traces and visual words for event classification. Multimedia Information Retrieval Junsong Yuan, Jiebo Luo, Henry A. Kautz, Ying Wu
2008	—	`conf`	Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems Sangho Park, Henry A. Kautz
2008	—	`ch.`	Satisfiability Solvers. Handbook of Knowledge Representation Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman
2007	A*	`conf`	A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI Tian Sang, Paul Beame, Henry A. Kautz
2007	A*	`conf`	A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes, Henry A. Kautz
2007	—	`conf`	Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort. ICASSP (4) Danny Wyatt, Tanzeem Choudhury, Henry A. Kautz
2007	J	`jnl`	Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. Int. J. Robotics Res. Lin Liao, Dieter Fox, Henry A. Kautz
2007	A*	`conf`	Learning Large Scale Common Sense Models of Everyday Life. AAAI William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz
2007	J	`jnl`	Learning and inferring transportation routines. Artif. Intell. Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz
2007	A*	`conf`	SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
2007	J	`jnl`	The state of SAT. Discret. Appl. Math. Henry A. Kautz, Bart Selman
2007	A*	`conf`	Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz
2006	A*	`conf`	Deconstructing Planning as Satisfiability. AAAI Henry A. Kautz
2006	—	`conf`	Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments. PervasiveHealth Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz, Brian Ferris, Pat A. Brown, Mark Harniss, Kurt Johnson
2006	A	`conf`	Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. ASSETS Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson
2006	A*	`conf`	Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. AAAI William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose
2006	—	`ed.`	Synthesis and Planning, 12.-17. June 2005 Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	—	`conf`	05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	—	`conf`	05241 Executive Summary - Synthesis and Planning. Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	J	`jnl`	Constraints and AI Planning. IEEE Intell. Syst. Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
2005	A*	`conf`	Extending Continuous Time Bayesian Networks. AAAI Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld
2005	Misc	`conf`	Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose
2005	A	`conf`	Heuristics for Fast Exact Model Counting. SAT Tian Sang, Paul Beame, Henry A. Kautz
2005	C	`conf`	Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR Lin Liao, Dieter Fox, Henry A. Kautz
2005	A*	`conf`	Location-Based Activity Recognition using Relational Markov Networks. IJCAI Lin Liao, Dieter Fox, Henry A. Kautz
2005	—	`conf`	Location-based activity recognition. NIPS Lin Liao, Dieter Fox, Henry A. Kautz
2005	A*	`conf`	Performing Bayesian Inference by Weighted Model Counting. AAAI Tian Sang, Paul Beame, Henry A. Kautz
2004	A	`conf`	Combining Component Caching and Clause Learning for Effective Model Counting. SAT Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi
2004	J	`jnl`	Inferring Activities from Interactions with Objects. IEEE Pervasive Comput. Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson, Dieter Fox, Henry A. Kautz, Dirk Hähnel
2004	A*	`conf`	Learning and Inferring Transportation Routines. AAAI Lin Liao, Dieter Fox, Henry A. Kautz
2004	Misc	`conf`	Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services. UbiComp Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, Henry A. Kautz
2004	A*	`conf`	The Backdoor Key: A Path to Understanding Problem Hardness. AAAI Yongshao Ruan, Henry A. Kautz, Eric Horvitz
2004	B	`conf`	Toward A Universal Inference Engine. LPNMR Henry A. Kautz
2004	J	`jnl`	Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. Paul Beame, Henry A. Kautz, Ashish Sabharwal
2003	Misc	`conf`	Inferring High-Level Behavior from Low-Level Sensors. UbiComp Donald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz
2003	A	`conf`	Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. CP Henry A. Kautz, Bart Selman
2003	—	`conf`	Towards a Theory of Question-Answering Interfaces to Databases. New Directions in Question Answering Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz
2003	A	`conf`	Towards a theory of natural language interfaces to databases. IUI Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz
2003	A	`conf`	Towards a theory of natural language interfaces to databases. IUI Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz
2003	A*	`conf`	Understanding the Power of Clause Learning. IJCAI Paul Beame, Henry A. Kautz, Ashish Sabharwal
2003	A	`conf`	Using Problem Structure for Efficient Clause Learning. SAT Ashish Sabharwal, Paul Beame, Henry A. Kautz
2003	A	`conf`	Voronoi tracking: location estimation using sparse and noisy sensor data. IROS Lin Liao, Dieter Fox, Jeffrey Hightower, Henry A. Kautz, Dirk Schulz
2002	—	`conf`	Dynamic Restart Policies. AAAI/IAAI Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman
2002	A	`conf`	Restart Policies with Dependence among Runs: A Dynamic Programming Approach. CP Yongshao Ruan, Eric Horvitz, Henry A. Kautz
2001	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electron. Notes Discret. Math. Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	A	`conf`	A Bayesian Approach to Tackling Hard Computational Problems. UAI Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	J	`jnl`	Auto-Walksat: A Self-Tuning Implementation of Walksat. Electron. Notes Discret. Math. Donald J. Patterson, Henry A. Kautz
2001	J	`jnl`	Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	A*	`conf`	Balance and Filtering in Structured Satisfiable Problems. IJCAI Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	J	`jnl`	Preface: Volume 9. Electron. Notes Discret. Math. Henry A. Kautz, Bart Selman
2000	—	`conf`	Generating Satisfiable Problem Instances. AAAI/IAAI Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman
2000	A*	`conf`	Hardening soft information sources. KDD William W. Cohen, Henry A. Kautz, David A. McAllester
2000	J	`jnl`	Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz
2000	A*	`conf`	Learning Declarative Control Rules for Constraint-BAsed Planning. ICML Yi-Cheng Huang, Bart Selman, Henry A. Kautz
2000	—	`ed.`	Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. Henry A. Kautz, Bruce W. Porter
2000	A	`conf`	Scalable Knowledge Representation and Reasoning Systems. CADE Henry A. Kautz
2000	J	`jnl`	The AIPS-98 Planning Competition. AI Mag. Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox
1999	—	`conf`	Control Knowledge in Planning: Benefits and Tradeoffs. AAAI/IAAI Yi-Cheng Huang, Bart Selman, Henry A. Kautz
1999	—	`conf`	State-space Planning by Integer Optimization. AAAI/IAAI Henry A. Kautz, Joachim P. Walser
1999	A*	`conf`	Unifying SAT-based and Graph-based Planning. IJCAI Henry A. Kautz, Bart Selman
1998	—	`conf`	Boosting Combinatorial Search Through Randomization. AAAI/IAAI Carla P. Gomes, Bart Selman, Henry A. Kautz
1998	—	`conf`	The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. AIPS Henry A. Kautz, Bart Selman
1997	—	`conf`	Evidence for Invariants in Local Search. AAAI/IAAI David A. McAllester, Bart Selman, Henry A. Kautz
1997	J	`jnl`	Referral Web: Combining Social Networks and Collaborative Filtering. Commun. ACM Henry A. Kautz, Bart Selman, Mehul A. Shah
1997	—	`conf`	Ten Challenges in Propositional Reasoning and Search. IJCAI (1) Bart Selman, Henry A. Kautz, David A. McAllester
1997	J	`jnl`	The Hidden Web. AI Mag. Henry A. Kautz, Bart Selman, Mehul A. Shah
1996	—	`conf`	A general stochastic approach to solving problems with hard and soft constraints. Satisfiability Problem: Theory and Applications Henry A. Kautz, Bart Selman, YueYen Jiang
1996	—	`conf`	Agent Amplified Communication. AAAI/IAAI, Vol. 1 Henry A. Kautz, Bart Selman, Al Milewski
1996	A*	`conf`	Encoding Plans in Propositional Logic. KR Henry A. Kautz, David A. McAllester, Bart Selman
1996	J	`jnl`	Knowledge Compilation and Theory Approximation. J. ACM Bart Selman, Henry A. Kautz
1996	—	`conf`	Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 Henry A. Kautz, Bart Selman
1995	J	`jnl`	Horn Approximations of Empirical Data. Artif. Intell. Henry A. Kautz, Michael J. Kearns, Bart Selman
1995	A*	`conf`	The Comparative Linguistics of Knowledge Representation. IJCAI (1) Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman
1994	A*	`conf`	An Empirical Evaluation of Knowledge Compilation by Theory Approximation. AAAI Henry A. Kautz, Bart Selman
1994	A*	`conf`	An Experiment in the Design of Software Agents. AAAI Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming
1994	J	`jnl`	Bottom-Up Design of Software Agents. Commun. ACM Henry A. Kautz, Bart Selman, Michael H. Coen
1994	J	`jnl`	Introduction to the Special Issue. Fundam. Informaticae David W. Etherington, Henry A. Kautz, Kurt Konolige
1994	A*	`conf`	Noise Strategies for Improving Local Search. AAAI Bart Selman, Henry A. Kautz, Bram Cohen
1994	J	`jnl`	The Fourth International Workshop on Nonmonotonic Reasoning. AI Mag. David W. Etherington, Henry A. Kautz
1993	A*	`conf`	An Empirical Study of Greedy Local Search for Satisfiability Testing. AAAI Bart Selman, Henry A. Kautz
1993	A*	`conf`	Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI Bart Selman, Henry A. Kautz
1993	—	`conf`	Local search strategies for satisfiability testing. Cliques, Coloring, and Satisfiability Bart Selman, Henry A. Kautz, Bram Cohen
1993	A*	`conf`	Reasoning With Characteristic Models. AAAI Henry A. Kautz, Michael J. Kearns, Bart Selman
1992	A*	`conf`	Forming Concepts for Fast Inference. AAAI Henry A. Kautz, Bart Selman
1992	—	`conf`	Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning Henry A. Kautz, Bart Selman
1992	A	`conf`	Planning as Satisfiability. ECAI Henry A. Kautz, Bart Selman
1991	—	`conf`	A General Framework for Knowledge Compilation. PDK Henry A. Kautz, Bart Selman
1991	J	`jnl`	Hard Problems for Simple Default Logics. Artif. Intell. Henry A. Kautz, Bart Selman
1991	A*	`conf`	Integrating Metric and Qualitative Temporal Reasoning. AAAI Henry A. Kautz, Peter B. Ladkin
1991	A*	`conf`	Knowledge Compilation using Horn Approximations. AAAI Bart Selman, Henry A. Kautz
1991	—	`book`	Reasoning about plans. James F. Allen, Henry A. Kautz, Richard N. Pelavin, Josh D. Tenenberg
1990	J	`jnl`	Model-Preference Default Theories. Artif. Intell. Bart Selman, Henry A. Kautz
1989	A*	`conf`	Hard Problems for Simple Default Logics. KR Henry A. Kautz, Bart Selman
1989	A*	`conf`	Vivid Knowledge and Tractable Reasoning. IJCAI David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz
1988	—	`conf`	The Complexity of Model-Preference Default Theories. NMR Bart Selman, Henry A. Kautz
1986	A*	`conf`	Constraint Propagation Algorithms for Temporal Reasoning. AAAI Marc B. Vilain, Henry A. Kautz
1986	A*	`conf`	Generalized Plan Recognition. AAAI Henry A. Kautz, James F. Allen
1986	A*	`conf`	The Logic of Persistence. AAAI Henry A. Kautz