Henry A. Kautz

According to our database, Henry A. Kautz authored at least 167 papers between 1986 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture.

Henry A. Kautz

AI Mag., 2022

2021

Incomplete Algorithms.

Henry A. Kautz, Ashish Sabharwal, Bart Selman

Proceedings of the Handbook of Satisfiability - Second Edition, 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

Proceedings of the Workshop Proceedings of the 15th International AAAI Conference on Web and Social Media, 2021

Explaining Local, Global, And Higher-Order Interactions In Deep Learning.

Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

2020

Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs.

Boyu Zhang, Anis Zaman, Rupam Acharyya, Ehsan Hoque, Vincent Silenzio, 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, Vincent Silenzio, Henry A. Kautz

CoRR, 2020

Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine.

Anis Zaman, Boyu Zhang, Vincent Silenzio, Ehsan Hoque, Henry A. Kautz

CoRR, 2020

SemEval-2020 Task 7: Assessing Humor in Edited News Headlines.

Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz

Proceedings of the Fourteenth Workshop on Semantic Evaluation, 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

Proceedings of the PervasiveHealth '20: 14th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2020

A Framework for Political Portmanteau Decomposition.

Nabil Hossain, Minh Tran, Henry A. Kautz

Proceedings of the Fourteenth International AAAI Conference on Web and Social Media, 2020

Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines.

Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: System Demonstrations, 2020

Inferring Nighttime Satellite Imagery from Human Mobility.

Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Detecting Low Self-Esteem in Youths from Web Search Data.

Anis Zaman, Rupam Acharyya, Henry A. Kautz, Vincent Silenzio

Proceedings of the World Wide Web Conference, 2019

CupQ: A New Clinical Literature Search Engine.

Jesse Wang, Henry A. Kautz

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

2018

Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News.

Rijul Magu, Nabil Hossain, Henry A. Kautz

CoRR, 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

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

Proceedings of the Twelfth International Conference on Web and Social Media, 2018

Discovering Political Slang in Readers' Comments.

Nabil Hossain, Thanh Thuy Trang Tran, Henry A. Kautz

Proceedings of the Twelfth International Conference on Web and Social Media, 2018

2017

Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas.

Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz

IEEE Trans. Big Data, 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

Twitter911: A Cautionary Tale.

Anis Zaman, Nabil Hossain, Henry A. Kautz

Proceedings of the Eleventh International Conference on Web and Social Media, 2017

Filling the Blanks (hint: plural noun) for Mad Libs Humor.

Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, Henry A. Kautz

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

Conditional Term Equivalent Symmetry Breaking for SAT.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Home location inference from sparse and noisy data: models and applications.

Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek

Frontiers Inf. Technol. Electron. Eng., 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, Henry A. Kautz

CoRR, 2016

Technical Perspective: Combining logic and probability.

Henry A. Kautz, Parag Singla

Commun. ACM, 2016

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

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 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, Henry A. Kautz

Proceedings of the Tenth International Conference on Web and Social Media, 2016

Aligning movies with scripts by exploiting temporal ordering constraints.

Iftekhar Naim, Abdullah Al Mamun, Young Chol Song, Jiebo Luo, Henry A. Kautz, Daniel Gildea

Proceedings of the 23rd International Conference on Pattern Recognition, 2016

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

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Toward Caching Symmetrical Subtheories for Weighted Model Counting.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Beyond NP, 2016

2015

Job-related discourse on social media.

Tong Liu, Christopher M. Homan, Cecilia Ovesdotter Alm, Ann Marie White, Megan C. Lytle-Flint, Henry A. Kautz

CoRR, 2015

Lifted Symmetry Detection and Breaking for MAP Inference.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

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

Proceedings of the NAACL HLT 2015, The 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Denver, Colorado, USA, May 31, 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

Proceedings of the Ninth International Conference on Web and Social Media, 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

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

Monitoring adolescent alcohol use via multimodal analysis in social multimedia.

Ran Pang, Agustin Baretto, Henry A. Kautz, Jiebo Luo

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

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

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

Proceedings of the 3rd ACM Multimedia Workshop on Geotagging and Its Applications in Multimedia, 2014

Unsupervised Alignment of Natural Language Instructions with Video Segments.

Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry A. Kautz, Jiebo Luo, Daniel Gildea

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Modeling the impact of lifestyle on health at scale.

Adam Sadilek, Henry A. Kautz

Proceedings of the Sixth ACM International Conference on Web Search and Data Mining, 2013

Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5.

Tivadar Papai, Henry A. Kautz, Daniel Stefankovic

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Modeling The Interplay of People's Location, Interactions, and Social Ties.

Adam Sadilek, Henry A. Kautz

Proceedings of the IJCAI 2013, 2013

Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions.

Sean Brennan, Adam Sadilek, Henry A. Kautz

Proceedings of the IJCAI 2013, 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, Ce Zhang

Proceedings of the 2013 International Conference on Multimodal Interaction, 2013

nEmesis: Which Restaurants Should You Avoid Today?

Adam Sadilek, Sean Brennan, Henry A. Kautz, Vincent Silenzio

Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Real-time crowd labeling for deployable activity recognition.

Walter S. Lasecki, Young Chol Song, Henry A. Kautz, Jeffrey P. Bigham

Proceedings of the Computer Supported Cooperative Work, 2013

A General Framework for Recognizing Complex Events in Markov Logic.

Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo

Proceedings of the Statistical Relational Artificial Intelligence, 2013

Modal Markov Logic for Multiple Agents.

Tivadar Papai, Henry A. Kautz

Proceedings of the Statistical Relational Artificial Intelligence, 2013

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

Location-Based Reasoning about Complex Multi-Agent Behavior.

Adam Sadilek, Henry A. Kautz

J. Artif. Intell. Res., 2012

Finding your friends and following them to where you are.

Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham

Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

Slice Normalized Dynamic Markov Logic Networks.

Tivadar Papai, Henry A. Kautz, Daniel Stefankovic

Proceedings of the 2nd International Workshop on Statistical Relational AI (StaRAI-12), 2012

Combining Subjective Probabilities and Data in Training Markov Logic Networks.

Tivadar Papai, Shalini Ghosh, Henry A. Kautz

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

Modeling Spread of Disease from Social Interactions.

Adam Sadilek, Henry A. Kautz, Vincent Silenzio

Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video.

Young Chol Song, Henry A. Kautz

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Predicting Disease Transmission from Geo-Tagged Micro-Blog Data.

Adam Sadilek, Henry A. Kautz, Vincent Silenzio

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise.

Adam Sadilek, Henry A. Kautz

Proceedings of the Mobile Context Awareness, 2012

2011

Plan Recognition (Dagstuhl Seminar 11141).

Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour

Dagstuhl Reports, 2011

Constraint Propagation for Efficient Inference in Markov Logic.

Tivadar Papai, Parag Singla, Henry A. Kautz

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

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

Proceedings of the Artificial Intelligence and Smarter Living: The Conquest of Complexity, 2011

2010

AAAI Leadership Transition.

Martha E. Pollack, Henry A. Kautz

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

Recognizing Multi-Agent Activities from GPS Data.

Adam Sadilek, Henry A. Kautz

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Incomplete Algorithms.

Henry A. Kautz, Ashish Sabharwal, Bart Selman

Proceedings of the Handbook of Satisfiability, 2009

Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models.

Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang

IEEE Trans. Multim., 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

Proceedings of the 3rd International Conference on Pervasive Computing Technologies for Healthcare, 2009

Activity recognition using the velocity histories of tracked keypoints.

Ross Messing, Christopher J. Pal, Henry A. Kautz

Proceedings of the IEEE 12th International Conference on Computer Vision, ICCV 2009, Kyoto, Japan, September 27, 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

Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

Organizing Committee.

Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz

Proceedings of the Human Behavior Modeling, 2009

2008

Satisfiability Solvers.

Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman

Proceedings of the Handbook of Knowledge Representation, 2008

Mining GPS traces and visual words for event classification.

Junsong Yuan, Jiebo Luo, Henry A. Kautz, Ying Wu

Proceedings of the 1st ACM SIGMM International Conference on Multimedia Information Retrieval, 2008

Improving the recognition of interleaved activities.

Joseph Modayil, Tongxin Bai, Henry A. Kautz

Proceedings of the UbiComp 2008: Ubiquitous Computing, 10th International Conference, 2008

Discovery of social relationships in consumer photo collections using Markov Logic.

Parag Singla, Henry A. Kautz, Jiebo Luo, Andrew C. Gallagher

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2008

Annotating collections of photos using hierarchical event and scene models.

Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang

Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008

Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training.

Sangho Park, Henry A. Kautz

Proceedings of the AI in Eldercare: New Solutions to Old Problems, 2008

Integrating Sensing and Cueing for More Effective Activity Reminders.

Joseph Modayil, Richard Levinson, Craig Harman, David Halper, Henry A. Kautz

Proceedings of the AI in Eldercare: New Solutions to Old Problems, 2008

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

The state of SAT.

Henry A. Kautz, Bart Selman

Discret. Appl. Math., 2007

Learning and inferring transportation routines.

Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz

Artif. Intell., 2007

A Privacy-Sensitive Approach to Modeling Multi-Person Conversations.

Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes, Henry A. Kautz

Proceedings of the IJCAI 2007, 2007

A Dynamic Approach for MPE and Weighted MAX-SAT.

Tian Sang, Paul Beame, Henry A. Kautz

Proceedings of the IJCAI 2007, 2007

Training Conditional Random Fields Using Virtual Evidence Boosting.

Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz

Proceedings of the IJCAI 2007, 2007

SAT Encodings of State-Space Reachability Problems in Numeric Domains.

Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz

Proceedings of the IJCAI 2007, 2007

Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort.

Danny Wyatt, Tanzeem Choudhury, Henry A. Kautz

Proceedings of the IEEE International Conference on Acoustics, 2007

Learning Large Scale Common Sense Models of Everyday Life.

William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

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

Proceedings of the 1st International ICST Conference on Pervasive Computing Technologies for Healthcare, 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

Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 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

Proceedings of the Proceedings, 2006

Deconstructing Planning as Satisfiability.

Henry A. Kautz

Proceedings of the Proceedings, 2006

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

Heuristics for Fast Exact Model Counting.

Tian Sang, Paul Beame, Henry A. Kautz

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Location-based activity recognition.

Lin Liao, Dieter Fox, Henry A. Kautz

Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage.

Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose

Proceedings of the Ninth IEEE International Symposium on Wearable Computers (ISWC 2005), 2005

Hierarchical Conditional Random Fields for GPS-Based Activity Recognition.

Lin Liao, Dieter Fox, Henry A. Kautz

Proceedings of the Robotics Research: Results of the 12th International Symposium, 2005

Location-Based Activity Recognition using Relational Markov Networks.

Lin Liao, Dieter Fox, Henry A. Kautz

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

05241 Abstracts Collection - Synthesis and Planning.

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi

Proceedings of the Synthesis and Planning, 12.-17. June 2005, 2005

05241 Executive Summary - Synthesis and Planning.

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi

Proceedings of the Synthesis and Planning, 12.-17. June 2005, 2005

Performing Bayesian Inference by Weighted Model Counting.

Tian Sang, Paul Beame, Henry A. Kautz

Proceedings of the Proceedings, 2005

Extending Continuous Time Bayesian Networks.

Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld

Proceedings of the Proceedings, 2005

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

Towards Understanding and Harnessing the Potential of Clause Learning.

Paul Beame, Henry A. Kautz, Ashish Sabharwal

J. Artif. Intell. Res., 2004

Combining Component Caching and Clause Learning for Effective Model Counting.

Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi

Proceedings of the SAT 2004, 2004

Toward A Universal Inference Engine.

Henry A. Kautz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

The Backdoor Key: A Path to Understanding Problem Hardness.

Yongshao Ruan, Henry A. Kautz, Eric Horvitz

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Learning and Inferring Transportation Routines.

Lin Liao, Dieter Fox, Henry A. Kautz

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Using Problem Structure for Efficient Clause Learning.

Ashish Sabharwal, Paul Beame, Henry A. Kautz

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Towards a Theory of Question-Answering Interfaces to Databases.

Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz

Proceedings of the New Directions in Question Answering, 2003

Towards a theory of natural language interfaces to databases.

Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz

Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

Voronoi tracking: location estimation using sparse and noisy sensor data.

Lin Liao, Dieter Fox, Jeffrey Hightower, Henry A. Kautz, Dirk Schulz

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

Understanding the Power of Clause Learning.

Paul Beame, Henry A. Kautz, Ashish Sabharwal

Proceedings of the IJCAI-03, 2003

Inferring High-Level Behavior from Low-Level Sensors.

Donald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz

Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.

Henry A. Kautz, Bart Selman

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Restart Policies with Dependence among Runs: A Dynamic Programming Approach.

Yongshao Ruan, Eric Horvitz, Henry A. Kautz

Proceedings of the Principles and Practice of Constraint Programming, 2002

Dynamic Restart Policies.

Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Auto-Walksat: A Self-Tuning Implementation of Walksat.

Donald J. Patterson, Henry A. Kautz

Electron. Notes Discret. Math., 2001

Preface: Volume 9.

Henry A. Kautz, Bart Selman

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

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

A Bayesian Approach to Tackling Hard Computational Problems.

Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering

Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Balance and Filtering in Structured Satisfiable Problems.

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.

Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz

J. Autom. Reason., 2000

The AIPS-98 Planning Competition.

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

AI Mag., 2000

Hardening soft information sources.

William W. Cohen, Henry A. Kautz, David A. McAllester

Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000

Learning Declarative Control Rules for Constraint-BAsed Planning.

Yi-Cheng Huang, Bart Selman, Henry A. Kautz

Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

Scalable Knowledge Representation and Reasoning Systems.

Henry A. Kautz

Proceedings of the Automated Deduction, 2000

Generating Satisfiable Problem Instances.

Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Unifying SAT-based and Graph-based Planning.

Henry A. Kautz, Bart Selman

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

State-space Planning by Integer Optimization.

Henry A. Kautz, Joachim P. Walser

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Control Knowledge in Planning: Benefits and Tradeoffs.

Yi-Cheng Huang, Bart Selman, Henry A. Kautz

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework.

Henry A. Kautz, Bart Selman

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Boosting Combinatorial Search Through Randomization.

Carla P. Gomes, Bart Selman, Henry A. Kautz

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Referral Web: Combining Social Networks and Collaborative Filtering.

Henry A. Kautz, Bart Selman, Mehul A. Shah

Commun. ACM, 1997

The Hidden Web.

Henry A. Kautz, Bart Selman, Mehul A. Shah

AI Mag., 1997

Ten Challenges in Propositional Reasoning and Search.

Bart Selman, Henry A. Kautz, David A. McAllester

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Evidence for Invariants in Local Search.

David A. McAllester, Bart Selman, Henry A. Kautz

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Knowledge Compilation and Theory Approximation.

Bart Selman, Henry A. Kautz

J. ACM, 1996

Encoding Plans in Propositional Logic.

Henry A. Kautz, David A. McAllester, Bart Selman

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A general stochastic approach to solving problems with hard and soft constraints.

Henry A. Kautz, Bart Selman, YueYen Jiang

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

Agent Amplified Communication.

Henry A. Kautz, Bart Selman, Al Milewski

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Pushing the Envelope: Planning, Propositional Logic and Stochastic Search.

Henry A. Kautz, Bart Selman

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Horn Approximations of Empirical Data.

Henry A. Kautz, Michael J. Kearns, Bart Selman

Artif. Intell., 1995

The Comparative Linguistics of Knowledge Representation.

Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Introduction to the Special Issue.

David W. Etherington, Henry A. Kautz, Kurt Konolige

Fundam. Informaticae, 1994

Bottom-Up Design of Software Agents.

Henry A. Kautz, Bart Selman, Michael H. Coen

Commun. ACM, 1994

The Fourth International Workshop on Nonmonotonic Reasoning.

David W. Etherington, Henry A. Kautz

AI Mag., 1994

Noise Strategies for Improving Local Search.

Bart Selman, Henry A. Kautz, Bram Cohen

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Experiment in the Design of Software Agents.

Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Empirical Evaluation of Knowledge Compilation by Theory Approximation.

Henry A. Kautz, Bart Selman

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.

Bart Selman, Henry A. Kautz

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Local search strategies for satisfiability testing.

Bart Selman, Henry A. Kautz, Bram Cohen

Proceedings of the Cliques, 1993

An Empirical Study of Greedy Local Search for Satisfiability Testing.

Bart Selman, Henry A. Kautz

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Reasoning With Characteristic Models.

Henry A. Kautz, Michael J. Kearns, Bart Selman

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Planning as Satisfiability.

Henry A. Kautz, Bart Selman

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Forming Concepts for Fast Inference.

Henry A. Kautz, Bart Selman

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Hard Problems for Simple Default Logics.

Henry A. Kautz, Bart Selman

Artif. Intell., 1991

A General Framework for Knowledge Compilation.

Henry A. Kautz, Bart Selman

Proceedings of the Processing Declarative Knowledge, 1991

Knowledge Compilation using Horn Approximations.

Bart Selman, Henry A. Kautz

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

Integrating Metric and Qualitative Temporal Reasoning.

Henry A. Kautz, Peter B. Ladkin

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

Reasoning about plans.

James F. Allen, Henry A. Kautz, Richard N. Pelavin, Josh D. Tenenberg

Morgan Kaufmann series in representation and reasoning, Morgan Kaufmann, ISBN: 978-1-55860-137-6, 1991

1990

Model-Preference Default Theories.

Bart Selman, Henry A. Kautz

Artif. Intell., 1990

1989

Vivid Knowledge and Tractable Reasoning.

David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

The Complexity of Model-Preference Default Theories.

Bart Selman, Henry A. Kautz

Proceedings of the Non-Monotonic Reasoning, 1988

1986

Constraint Propagation Algorithms for Temporal Reasoning.

Marc B. Vilain, Henry A. Kautz

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Generalized Plan Recognition.

Henry A. Kautz, James F. Allen

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

The Logic of Persistence.

Henry A. Kautz

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986