Henry A. Kautz

According to our database1, Henry A. Kautz
  • authored at least 159 papers between 1986 and 2018.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 2013, "For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media.
Proceedings of the Twelfth International Conference on Web and Social Media, 2018

Discovering Political Slang in Readers' Comments.
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.
IEEE Trans. Big Data, 2017

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

Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media.
AI Magazine, 2017

Twitter911: A Cautionary Tale.
Proceedings of the Eleventh International Conference on Web and Social Media, 2017

Filling the Blanks (hint: plural noun) for Mad Libs Humor.
Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

2016
Home location inference from sparse and noisy data: models and applications.
Frontiers of IT & EE, 2016

Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities.
CoRR, 2016

Technical Perspective: Combining logic and probability.
Commun. ACM, 2016

Unsupervised Alignment of Actions in Video with Text Descriptions.
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.
Proceedings of the Tenth International Conference on Web and Social Media, 2016

Aligning movies with scripts by exploiting temporal ordering constraints.
Proceedings of the 23rd International Conference on Pattern Recognition, 2016

Understanding Discourse on Work and Job-Related Well-Being in Public Social Media.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Toward Caching Symmetrical Subtheories for Weighted Model Counting.
Proceedings of the Beyond NP, 2016

2015
Job-related discourse on social media.
CoRR, 2015

Lifted Symmetry Detection and Breaking for MAP Inference.
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.
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.
Proceedings of the Ninth International Conference on Web and Social Media, 2015

Home Location Inference from Sparse and Noisy Data: Models and Applications.
Proceedings of the IEEE International Conference on Data Mining Workshop, 2015

Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study.
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.
Proceedings of the 2015 IEEE International Conference on Big Data, 2015

Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Location-Based Reasoning about Complex Multi-Agent Behavior.
CoRR, 2014

Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns.
Proceedings of the 3rd ACM Multimedia Workshop on Geotagging and Its Applications in Multimedia, 2014

Unsupervised Alignment of Natural Language Instructions with Video Segments.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Bayesian Approach to Tackling Hard Computational Problems
CoRR, 2013

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

Modeling the impact of lifestyle on health at scale.
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.
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.
Proceedings of the IJCAI 2013, 2013

Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions.
Proceedings of the IJCAI 2013, 2013

A Markov logic framework for recognizing complex events from multimodal data.
Proceedings of the 2013 International Conference on Multimodal Interaction, 2013

nEmesis: Which Restaurants Should You Avoid Today?
Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Real-time crowd labeling for deployable activity recognition.
Proceedings of the Computer Supported Cooperative Work, 2013

A General Framework for Recognizing Complex Events in Markov Logic.
Proceedings of the Plan, 2013

A General Framework for Recognizing Complex Events in Markov Logic.
Proceedings of the Statistical Relational Artificial Intelligence, 2013

Modal Markov Logic for Multiple Agents.
Proceedings of the Statistical Relational Artificial Intelligence, 2013

2012
Interactive activity recognition and prompting to assist people with cognitive disabilities.
JAISE, 2012

Location-Based Reasoning about Complex Multi-Agent Behavior.
J. Artif. Intell. Res., 2012

Finding your friends and following them to where you are.
Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

Combining Subjective Probabilities and Data in Training Markov Logic Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

Slice Normalized Dynamic Markov Logic Networks.
Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

Modeling Spread of Disease from Social Interactions.
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.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Predicting Disease Transmission from Geo-Tagged Micro-Blog Data.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Plan Recognition (Dagstuhl Seminar 11141).
Dagstuhl Reports, 2011

Towards Understanding and Harnessing the Potential of Clause Learning
CoRR, 2011

Constraint Propagation for Efficient Inference in Markov Logic.
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.
Proceedings of the Artificial Intelligence and Smarter Living: The Conquest of Complexity, 2011

2010
AAAI Leadership Transition.
AI Magazine, 2010

AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead.
AI Magazine, 2010

Recognizing Multi-Agent Activities from GPS Data.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Incomplete Algorithms.
Proceedings of the Handbook of Satisfiability, 2009

Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models.
IEEE Trans. Multimedia, 2009

Informing the design of an automated wayfinding system for individuals with cognitive impairments.
Proceedings of the 3rd International Conference on Pervasive Computing Technologies for Healthcare, 2009

Activity recognition using the velocity histories of tracked keypoints.
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.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

Organizing Committee.
Proceedings of the Human Behavior Modeling, 2009

2008
Satisfiability Solvers.
Proceedings of the Handbook of Knowledge Representation, 2008

Mining GPS traces and visual words for event classification.
Proceedings of the 1st ACM SIGMM International Conference on Multimedia Information Retrieval, 2008

Improving the recognition of interleaved activities.
Proceedings of the UbiComp 2008: Ubiquitous Computing, 10th International Conference, 2008

Discovery of social relationships in consumer photo collections using Markov Logic.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2008

Annotating collections of photos using hierarchical event and scene models.
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.
Proceedings of the AI in Eldercare: New Solutions to Old Problems, 2008

Integrating Sensing and Cueing for More Effective Activity Reminders.
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.
I. J. Robotics Res., 2007

The state of SAT.
Discrete Applied Mathematics, 2007

Learning and inferring transportation routines.
Artif. Intell., 2007

A Privacy-Sensitive Approach to Modeling Multi-Person Conversations.
Proceedings of the IJCAI 2007, 2007

A Dynamic Approach for MPE and Weighted MAX-SAT.
Proceedings of the IJCAI 2007, 2007

Training Conditional Random Fields Using Virtual Evidence Boosting.
Proceedings of the IJCAI 2007, 2007

SAT Encodings of State-Space Reachability Problems in Numeric Domains.
Proceedings of the IJCAI 2007, 2007

Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort.
Proceedings of the IEEE International Conference on Acoustics, 2007

Learning Large Scale Common Sense Models of Everyday Life.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments.
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.
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.
Proceedings of the Proceedings, 2006

Deconstructing Planning as Satisfiability.
Proceedings of the Proceedings, 2006

2005
Constraints and AI Planning.
IEEE Intelligent Systems, 2005

Heuristics for Fast Exact Model Counting.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Location-based activity recognition.
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage.
Proceedings of the Ninth IEEE International Symposium on Wearable Computers (ISWC 2005), 2005

Hierarchical Conditional Random Fields for GPS-Based Activity Recognition.
Proceedings of the Robotics Research: Results of the 12th International Symposium, 2005

Location-Based Activity Recognition using Relational Markov Networks.
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.
Proceedings of the Synthesis and Planning, 12.-17. June 2005, 2005

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

Performing Bayesian Inference by Weighted Model Counting.
Proceedings of the Proceedings, 2005

Extending Continuous Time Bayesian Networks.
Proceedings of the Proceedings, 2005

2004
Inferring Activities from Interactions with Objects.
IEEE Pervasive Computing, 2004

Towards Understanding and Harnessing the Potential of Clause Learning.
J. Artif. Intell. Res., 2004

Combining Component Caching and Clause Learning for Effective Model Counting.
Proceedings of the SAT 2004, 2004

Toward A Universal Inference Engine.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services.
Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

The Backdoor Key: A Path to Understanding Problem Hardness.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Learning and Inferring Transportation Routines.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Using Problem Structure for Efficient Clause Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Towards a Theory of Question-Answering Interfaces to Databases.
Proceedings of the New Directions in Question Answering, 2003

Towards a theory of natural language interfaces to databases.
Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

Towards a theory of natural language interfaces to databases.
Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

Voronoi tracking: location estimation using sparse and noisy sensor data.
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.
Proceedings of the IJCAI-03, 2003

Inferring High-Level Behavior from Low-Level Sensors.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Restart Policies with Dependence among Runs: A Dynamic Programming Approach.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Dynamic Restart Policies.
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.
Electronic Notes in Discrete Mathematics, 2001

Preface: Volume 9.
Electronic Notes in Discrete Mathematics, 2001

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics, 2001

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).
Electronic Notes in Discrete Mathematics, 2001

A Bayesian Approach to Tackling Hard Computational Problems.
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Balance and Filtering in Structured Satisfiable Problems.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
J. Autom. Reasoning, 2000

The AIPS-98 Planning Competition.
AI Magazine, 2000

Hardening soft information sources.
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000

Learning Declarative Control Rules for Constraint-BAsed Planning.
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.
Proceedings of the Automated Deduction, 2000

Generating Satisfiable Problem Instances.
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.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

State-space Planning by Integer Optimization.
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.
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.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Boosting Combinatorial Search Through Randomization.
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.
Commun. ACM, 1997

The Hidden Web.
AI Magazine, 1997

Ten Challenges in Propositional Reasoning and Search.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Evidence for Invariants in Local Search.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Knowledge Compilation and Theory Approximation.
J. ACM, 1996

Encoding Plans in Propositional Logic.
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.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996

Agent Amplified Communication.
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.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Horn Approximations of Empirical Data.
Artif. Intell., 1995

The Comparative Linguistics of Knowledge Representation.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Introduction to the Special Issue.
Fundam. Inform., 1994

Bottom-Up Design of Software Agents.
Commun. ACM, 1994

The Fourth International Workshop on Nonmonotonic Reasoning.
AI Magazine, 1994

Noise Strategies for Improving Local Search.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Experiment in the Design of Software Agents.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Empirical Evaluation of Knowledge Compilation by Theory Approximation.
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.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Local search strategies for satisfiability testing.
Proceedings of the Cliques, 1993

An Empirical Study of Greedy Local Search for Satisfiability Testing.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Reasoning With Characteristic Models.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
Forming Concepts for Fast Inference.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

Planning as Satisfiability.
ECAI, 1992

Forming Concepts for Fast Inference.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Hard Problems for Simple Default Logics.
Artif. Intell., 1991

A General Framework for Knowledge Compilation.
Proceedings of the Processing Declarative Knowledge, 1991

Knowledge Compilation using Horn Approximations.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

Integrating Metric and Qualitative Temporal Reasoning.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Model-Preference Default Theories.
Artif. Intell., 1990

1989
Hard Problems for Simple Default Logics.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Vivid Knowledge and Tractable Reasoning.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
The Complexity of Model-Preference Default Theories.
Proceedings of the Non-Monotonic Reasoning, 1988

1986
Constraint Propagation Algorithms for Temporal Reasoning.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

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

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


  Loading...