Kautz, Henry A.

57 publications

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

AAAI 2016 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

IJCAI 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

AAAI 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

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

IJCAI 2013 Modeling the Interplay of People's Location, Interactions, and Social Ties Adam Sadilek, Henry A. Kautz

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

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

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

JAIR 2012 Location-Based Reasoning About Complex Multi-Agent Behavior Adam Sadilek, Henry A. Kautz

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

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

ICCV 2009 Activity Recognition Using the Velocity Histories of Tracked Keypoints Ross Messing, Christopher J. Pal, Henry A. Kautz

CVPR 2008 Annotating Collections of Photos Using Hierarchical Event and Scene Models Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang

CVPRW 2008 Discovery of Social Relationships in Consumer Photo Collections Using Markov Logic Parag Singla, Henry A. Kautz, Jiebo Luo, Andrew C. Gallagher

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

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

IJCAI 2007 SAT Encodings of State-Space Reachability Problems in Numeric Domains Jörg Hoffmann, 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

AAAI 2006 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 2005 Extending Continuous Time Bayesian Networks Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld

IJCAI 2005 Location-Based Activity Recognition Using Relational Markov Networks Lin Liao, Dieter Fox, Henry A. Kautz

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

AAAI 2004 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

JAIR 2004 Towards Understanding and Harnessing the Potential of Clause Learning Paul Beame, Henry A. Kautz, Ashish Sabharwal

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

AAAI 2002 Dynamic Restart Policies Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman

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

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

AAAI 2000 Generating Satisfiable Problem Instances Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman

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

AAAI 2000 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

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

AAAI 1999 State-Space Planning by Integer Optimization Henry A. Kautz, Joachim P. Walser

IJCAI 1999 Unifying SAT-Based and Graph-Based Planning Henry A. Kautz, Bart Selman

AAAI 1998 Boosting Combinatorial Search Through Randomization Carla P. Gomes, Bart Selman, Henry A. Kautz

AAAI 1997 Evidence for Invariants in Local Search David A. McAllester, Bart Selman, Henry A. Kautz

IJCAI 1997 Ten Challenges in Propositional Reasoning and Search Bart Selman, Henry A. Kautz, David A. McAllester

AAAI 1996 Agent Amplified Communication Henry A. Kautz, Bart Selman, Al Milewski

AAAI 1996 Pushing the Envelope: Planning, Propositional Logic and Stochastic Search Henry A. Kautz, Bart Selman

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

AAAI 1994 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 1993 An Empirical Study of Greedy Local Search for Satisfiability Testing Bart Selman, Henry A. Kautz

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

AAAI 1993 Reasoning with Characteristic Models Henry A. Kautz, Michael J. Kearns, Bart Selman

AAAI 1992 Forming Concepts for Fast Inference Henry A. Kautz, Bart Selman

AAAI 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

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

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

AAAI 1986 Generalized Plan Recognition Henry A. Kautz, James F. Allen

AAAI 1986 The Logic of Persistence Henry A. Kautz