| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Adam Sadilek, Henry A. Kautz |
Location-Based Reasoning about Complex Multi-Agent Behavior.  |
J. Artif. Intell. Res. (JAIR)  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham |
Finding your friends and following them to where you are. |
WSDM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Towards Understanding and Harnessing the Potential of Clause Learning |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour |
Plan Recognition (Dagstuhl Seminar 11141). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tivadar Papai, Parag Singla, Henry A. Kautz |
Constraint Propagation for Efficient Inference in Markov Logic. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Horvitz, Lise Getoor, Carlos Guestrin, James A. Hendler, Joseph A. Konstan, Devika Subramanian, Michael P. Wellman, Henry A. Kautz |
AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martha E. Pollack, Henry A. Kautz |
AAAI Leadership Transition. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz (eds.) |
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010 |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Adam Sadilek, Henry A. Kautz |
Recognizing Multi-Agent Activities from GPS Data. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Ashish Sabharwal, Bart Selman |
Incomplete Algorithms. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Messing, Christopher Pal, Henry A. Kautz |
Activity recognition using the velocity histories of tracked keypoints. |
ICCV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz |
Organizing Committee. |
AAAI Spring Symposium: Human Behavior Modeling |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz, Pat A. Brown, Mark Harniss, Kurt Johnson |
Informing the design of an automated wayfinding system for individuals with cognitive impairments. |
PervasiveHealth |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry A. Kautz, Kurt Johnson |
Customizing directions in an automated wayfinding system for individuals with cognitive impairment. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
user interface, Markov decision process, wayfinding, cognitive impairments |
| 1 | Joseph Modayil, Tongxin Bai, Henry A. Kautz |
Improving the recognition of interleaved activities. |
UbiComp |
2008 |
DBLP DOI BibTeX RDF |
interleaved activities, hidden Markov model, activity recognition |
| 1 | Lin Liao, Dieter Fox, Henry A. Kautz |
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. |
I. J. Robotic Res. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz |
Learning and inferring transportation routines. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
The state of SAT. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
SAT Encodings of State-Space Reachability Problems in Numeric Domains. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tian Sang, Paul Beame, Henry A. Kautz |
A Dynamic Approach for MPE and Weighted MAX-SAT. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz |
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz |
Training Conditional Random Fields Using Virtual Evidence Boosting. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz |
Learning Large Scale Common Sense Models of Everyday Life. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (eds.) |
Synthesis and Planning, 12.-17. June 2005 |
Synthesis and Planning |
2006 |
DBLP BibTeX RDF |
|
| 1 | William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose |
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz |
Deconstructing Planning as Satisfiability. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson |
Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. |
ASSETS |
2006 |
DBLP DOI BibTeX RDF |
user interface, ubiquitous computing, wizard-of-oz, cognitive disability |
| 1 | Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate |
Constraints and AI Planning. |
IEEE Intelligent Systems |
2005 |
DBLP DOI BibTeX RDF |
planning, integer programming, constraint programming, propositional satisfiability |
| 1 | Lin Liao, Dieter Fox, Henry A. Kautz |
Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. |
ISRR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Liao, Dieter Fox, Henry A. Kautz |
Location-Based Activity Recognition using Relational Markov Networks. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tian Sang, Paul Beame, Henry A. Kautz |
Heuristics for Fast Exact Model Counting. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi |
05241 Executive Summary - Synthesis and Planning. |
Synthesis and Planning |
2005 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi |
05241 Abstracts Collection - Synthesis and Planning. |
Synthesis and Planning |
2005 |
DBLP BibTeX RDF |
|
| 1 | Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose |
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Sang, Paul Beame, Henry A. Kautz |
Performing Bayesian Inference by Weighted Model Counting. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld |
Extending Continuous Time Bayesian Networks. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lin Liao, Dieter Fox, Henry A. Kautz |
Location-based activity recognition. |
NIPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson, Dieter Fox, Henry A. Kautz, Dirk Hähnel |
Inferring Activities from Interactions with Objects. |
IEEE Pervasive Computing |
2004 |
DBLP DOI BibTeX RDF |
ADL monitoring, Proactive Activity Toolkit, Proact, sensor networks, context-aware computing |
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Towards Understanding and Harnessing the Potential of Clause Learning. |
J. Artif. Intell. Res. (JAIR) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi |
Combining Component Caching and Clause Learning for Effective Model Counting. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz |
Toward A Universal Inference Engine. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, Henry A. Kautz |
Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services. |
Ubicomp |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongshao Ruan, Henry A. Kautz, Eric Horvitz |
The Backdoor Key: A Path to Understanding Problem Hardness. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lin Liao, Dieter Fox, Henry A. Kautz |
Learning and Inferring Transportation Routines. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Understanding the Power of Clause Learning. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
Using Problem Structure for Efficient Clause Learning. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz |
Towards a Theory of Question-Answering Interfaces to Databases. |
New Directions in Question Answering |
2003 |
DBLP BibTeX RDF |
|
| 1 | Donald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz |
Inferring High-Level Behavior from Low-Level Sensors. |
Ubicomp |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz |
Towards a theory of natural language interfaces to databases. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
reliability, database, natural language interface |
| 1 | Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz |
Towards a theory of natural language interfaces to databases. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
reliability, database, natural language interface |
| 1 | Henry A. Kautz, Bart Selman |
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman |
Dynamic Restart Policies. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yongshao Ruan, Eric Horvitz, Henry A. Kautz |
Restart Policies with Dependence among Runs: A Dynamic Programming Approach. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering |
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald J. Patterson, Henry A. Kautz |
Auto-Walksat: A Self-Tuning Implementation of Walksat. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Preface: Volume 9. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
Balance and Filtering in Structured Satisfiable Problems. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering |
A Bayesian Approach to Tackling Hard Computational Problems. |
UAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz |
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. |
J. Autom. Reasoning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
The AIPS-98 Planning Competition. |
AI Magazine |
2000 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz |
Scalable Knowledge Representation and Reasoning Systems. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
Learning Declarative Control Rules for Constraint-BAsed Planning. |
ICML |
2000 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bruce W. Porter (eds.) |
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. |
|
2000 |
DBLP BibTeX RDF |
|
| 1 | Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman |
Generating Satisfiable Problem Instances. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | William W. Cohen, Henry A. Kautz, David A. McAllester |
Hardening soft information sources. |
KDD |
2000 |
DBLP DOI BibTeX RDF |
data integration |
| 1 | Henry A. Kautz, Bart Selman |
Unifying SAT-based and Graph-based Planning. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
Control Knowledge in Planning: Benefits and Tradeoffs. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Joachim P. Walser |
State-space Planning by Integer Optimization. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. |
AIPS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Bart Selman, Henry A. Kautz |
Boosting Combinatorial Search Through Randomization. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman, Mehul A. Shah |
Referral Web: Combining Social Networks and Collaborative Filtering. |
Commun. ACM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman, Mehul A. Shah |
The Hidden Web. |
AI Magazine |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz, David A. McAllester |
Ten Challenges in Propositional Reasoning and Search. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | David A. McAllester, Bart Selman, Henry A. Kautz |
Evidence for Invariants in Local Search. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz |
Knowledge Compilation and Theory Approximation. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
efficient reasoning methods, knowledge-base optimization, theory approximation, query evaluation, Horn clauses, knowledge compilation |
| 1 | Henry A. Kautz, David A. McAllester, Bart Selman |
Encoding Plans in Propositional Logic. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman, Al Milewski |
Agent Amplified Communication. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Michael J. Kearns, Bart Selman |
Horn Approximations of Empirical Data. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman |
The Comparative Linguistics of Knowledge Representation. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman, Michael H. Coen |
Bottom-Up Design of Software Agents. |
Commun. ACM |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Etherington, Henry A. Kautz, Kurt Konolige |
Introduction to the Special Issue. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Etherington, Henry A. Kautz |
The Fourth International Workshop on Nonmonotonic Reasoning. |
AI Magazine |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming |
An Experiment in the Design of Software Agents. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
An Empirical Evaluation of Knowledge Compilation by Theory Approximation. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz, Bram Cohen |
Noise Strategies for Improving Local Search. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz |
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Michael J. Kearns, Bart Selman |
Reasoning With Characteristic Models. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz |
An Empirical Study of Greedy Local Search for Satisfiability Testing. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Forming Concepts for Fast Inference. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Planning as Satisfiability. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Forming Concepts for Fast Inference. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Hard Problems for Simple Default Logics. |
Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
A General Framework for Knowledge Compilation. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Peter B. Ladkin |
Integrating Metric and Qualitative Temporal Reasoning. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz |
Knowledge Compilation using Horn Approximations. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Henry A. Kautz |
Model-Preference Default Theories. |
Artif. Intell. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz |
Vivid Knowledge and Tractable Reasoning. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
Hard Problems for Simple Default Logics. |
KR |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")