| 2008 |
|---|
| 87 | EE | Joseph Modayil,
Tongxin Bai,
Henry A. Kautz:
Improving the recognition of interleaved activities.
UbiComp 2008: 40-43 |
| 2007 |
|---|
| 86 | | William Pentney,
Matthai Philipose,
Jeff A. Bilmes,
Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life.
AAAI 2007: 465-470 |
| 85 | EE | Tian Sang,
Paul Beame,
Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT.
IJCAI 2007: 173-179 |
| 84 | EE | Danny Wyatt,
Tanzeem Choudhury,
Jeff Bilmes,
Henry A. Kautz:
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations.
IJCAI 2007: 1769-1775 |
| 83 | EE | Jörg Hoffmann,
Carla P. Gomes,
Bart Selman,
Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains.
IJCAI 2007: 1918-1923 |
| 82 | EE | Lin Liao,
Tanzeem Choudhury,
Dieter Fox,
Henry A. Kautz:
Training Conditional Random Fields Using Virtual Evidence Boosting.
IJCAI 2007: 2530-2535 |
| 81 | EE | Lin Liao,
Donald J. Patterson,
Dieter Fox,
Henry A. Kautz:
Learning and inferring transportation routines.
Artif. Intell. 171(5-6): 311-331 (2007) |
| 80 | EE | Henry A. Kautz,
Bart Selman:
The state of SAT.
Discrete Applied Mathematics 155(12): 1514-1524 (2007) |
| 2006 |
|---|
| 79 | | Henry A. Kautz,
Wolfgang Thomas,
Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 78 | | Henry A. Kautz:
Deconstructing Planning as Satisfiability.
AAAI 2006 |
| 77 | | 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 |
| 76 | EE | 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: 95-102 |
| 2005 |
|---|
| 75 | | Tian Sang,
Paul Beame,
Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting.
AAAI 2005: 475-482 |
| 74 | | Karthik Gopalratnam,
Henry A. Kautz,
Daniel S. Weld:
Extending Continuous Time Bayesian Networks.
AAAI 2005: 981-986 |
| 73 | EE | Lin Liao,
Dieter Fox,
Henry A. Kautz:
Location-Based Activity Recognition using Relational Markov Networks.
IJCAI 2005: 773-778 |
| 72 | EE | Lin Liao,
Dieter Fox,
Henry A. Kautz:
Hierarchical Conditional Random Fields for GPS-Based Activity Recognition.
ISRR 2005: 487-506 |
| 71 | EE | Donald J. Patterson,
Dieter Fox,
Henry A. Kautz,
Matthai Philipose:
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage.
ISWC 2005: 44-51 |
| 70 | EE | Lin Liao,
Dieter Fox,
Henry A. Kautz:
Location-based activity recognition.
NIPS 2005 |
| 69 | EE | Tian Sang,
Paul Beame,
Henry A. Kautz:
Heuristics for Fast Exact Model Counting.
SAT 2005: 226-240 |
| 68 | EE | Henry A. Kautz,
Wolfgang Thomas,
Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning.
Synthesis and Planning 2005 |
| 67 | EE | Henry A. Kautz,
Wolfgang Thomas,
Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning.
Synthesis and Planning 2005 |
| 66 | EE | 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 20(2): 62-72 (2005) |
| 2004 |
|---|
| 65 | | Yongshao Ruan,
Henry A. Kautz,
Eric Horvitz:
The Backdoor Key: A Path to Understanding Problem Hardness.
AAAI 2004: 124-130 |
| 64 | | Lin Liao,
Dieter Fox,
Henry A. Kautz:
Learning and Inferring Transportation Routines.
AAAI 2004: 348-353 |
| 63 | EE | Henry A. Kautz:
Toward A Universal Inference Engine.
LPNMR 2004: 2 |
| 62 | EE | Tian Sang,
Fahiem Bacchus,
Paul Beame,
Henry A. Kautz,
Toniann Pitassi:
Combining Component Caching and Clause Learning for Effective Model Counting.
SAT 2004 |
| 61 | EE | 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: 433-450 |
| 60 | EE | Paul Beame,
Henry A. Kautz,
Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning.
J. Artif. Intell. Res. (JAIR) 22: 319-351 (2004) |
| 2003 |
|---|
| 59 | EE | Henry A. Kautz,
Bart Selman:
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.
CP 2003: 1-18 |
| 58 | | Paul Beame,
Henry A. Kautz,
Ashish Sabharwal:
Understanding the Power of Clause Learning.
IJCAI 2003: 1194-1201 |
| 57 | EE | Ana-Maria Popescu,
Oren Etzioni,
Henry A. Kautz:
Towards a theory of natural language interfaces to databases.
IUI 2003: 149-157 |
| 56 | EE | Ana-Maria Popescu,
Oren Etzioni,
Henry A. Kautz:
Towards a theory of natural language interfaces to databases.
IUI 2003: 327 |
| 55 | | Ana-Maria Popescu,
Oren Etzioni,
Henry A. Kautz:
Towards a Theory of Question-Answering Interfaces to Databases.
New Directions in Question Answering 2003: 73-74 |
| 54 | EE | Ashish Sabharwal,
Paul Beame,
Henry A. Kautz:
Using Problem Structure for Efficient Clause Learning.
SAT 2003: 242-256 |
| 53 | EE | Donald J. Patterson,
Lin Liao,
Dieter Fox,
Henry A. Kautz:
Inferring High-Level Behavior from Low-Level Sensors.
Ubicomp 2003: 73-89 |
| 2002 |
|---|
| 52 | | Henry A. Kautz,
Eric Horvitz,
Yongshao Ruan,
Carla P. Gomes,
Bart Selman:
Dynamic Restart Policies.
AAAI/IAAI 2002: 674-681 |
| 51 | EE | Yongshao Ruan,
Eric Horvitz,
Henry A. Kautz:
Restart Policies with Dependence among Runs: A Dynamic Programming Approach.
CP 2002: 573-586 |
| 2001 |
|---|
| 50 | | Henry A. Kautz,
Yongshao Ruan,
Dimitris Achlioptas,
Carla P. Gomes,
Bart Selman,
Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems.
IJCAI 2001: 351-358 |
| 49 | EE | 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: 235-244 |
| 48 | EE | Henry A. Kautz,
Bart Selman:
Preface: Volume 9.
Electronic Notes in Discrete Mathematics 9: 1 (2001) |
| 47 | EE | 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 9: 2-18 (2001) |
| 46 | EE | Donald J. Patterson,
Henry A. Kautz:
Auto-Walksat: A Self-Tuning Implementation of Walksat.
Electronic Notes in Discrete Mathematics 9: 360-368 (2001) |
| 45 | EE | 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 9: 376-391 (2001) |
| 2000 |
|---|
| 44 | | Dimitris Achlioptas,
Carla P. Gomes,
Henry A. Kautz,
Bart Selman:
Generating Satisfiable Problem Instances.
AAAI/IAAI 2000: 256-261 |
| 43 | | Henry A. Kautz:
Scalable Knowledge Representation and Reasoning Systems.
CADE 2000: 183 |
| 42 | | Yi-Cheng Huang,
Bart Selman,
Henry A. Kautz:
Learning Declarative Control Rules for Constraint-BAsed Planning.
ICML 2000: 415-422 |
| 41 | EE | William W. Cohen,
Henry A. Kautz,
David A. McAllester:
Hardening soft information sources.
KDD 2000: 255-259 |
| 40 | | 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 21(2): 13-33 (2000) |
| 39 | | Carla P. Gomes,
Bart Selman,
Nuno Crato,
Henry A. Kautz:
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
J. Autom. Reasoning 24(1/2): 67-100 (2000) |
| 1999 |
|---|
| 38 | | Yi-Cheng Huang,
Bart Selman,
Henry A. Kautz:
Control Knowledge in Planning: Benefits and Tradeoffs.
AAAI/IAAI 1999: 511-517 |
| 37 | | Henry A. Kautz,
Joachim P. Walser:
State-space Planning by Integer Optimization.
AAAI/IAAI 1999: 526-533 |
| 36 | | Henry A. Kautz,
Bart Selman:
Unifying SAT-based and Graph-based Planning.
IJCAI 1999: 318-325 |
| 1998 |
|---|
| 35 | | Carla P. Gomes,
Bart Selman,
Henry A. Kautz:
Boosting Combinatorial Search Through Randomization.
AAAI/IAAI 1998: 431-437 |
| 34 | | Henry A. Kautz,
Bart Selman:
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework.
AIPS 1998: 181-189 |
| 1997 |
|---|
| 33 | | David A. McAllester,
Bart Selman,
Henry A. Kautz:
Evidence for Invariants in Local Search.
AAAI/IAAI 1997: 321-326 |
| 32 | | Bart Selman,
Henry A. Kautz,
David A. McAllester:
Ten Challenges in Propositional Reasoning and Search.
IJCAI (1) 1997: 50-54 |
| 31 | | Henry A. Kautz,
Bart Selman,
Mehul A. Shah:
The Hidden Web.
AI Magazine 18(2): 27-36 (1997) |
| 30 | | Henry A. Kautz,
Bart Selman,
Mehul A. Shah:
Referral Web: Combining Social Networks and Collaborative Filtering.
Commun. ACM 40(3): 63-65 (1997) |
| 1996 |
|---|
| 29 | | Henry A. Kautz,
Bart Selman,
Al Milewski:
Agent Amplified Communication.
AAAI/IAAI, Vol. 1 1996: 3-9 |
| 28 | | Henry A. Kautz,
Bart Selman:
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search.
AAAI/IAAI, Vol. 2 1996: 1194-1201 |
| 27 | | Henry A. Kautz,
David A. McAllester,
Bart Selman:
Encoding Plans in Propositional Logic.
KR 1996: 374-384 |
| 26 | EE | Bart Selman,
Henry A. Kautz:
Knowledge Compilation and Theory Approximation.
J. ACM 43(2): 193-224 (1996) |
| 1995 |
|---|
| 25 | | Goran Gogic,
Henry A. Kautz,
Christos H. Papadimitriou,
Bart Selman:
The Comparative Linguistics of Knowledge Representation.
IJCAI (1) 1995: 862-869 |
| 24 | EE | Henry A. Kautz,
Michael J. Kearns,
Bart Selman:
Horn Approximations of Empirical Data.
Artif. Intell. 74(1): 129-145 (1995) |
| 1994 |
|---|
| 23 | | Henry A. Kautz,
Bart Selman:
An Empirical Evaluation of Knowledge Compilation by Theory Approximation.
AAAI 1994: 155-161 |
| 22 | | Bart Selman,
Henry A. Kautz,
Bram Cohen:
Noise Strategies for Improving Local Search.
AAAI 1994: 337-343 |
| 21 | | Henry A. Kautz,
Bart Selman,
Michael H. Coen,
Steven P. Ketchpel,
Chris Ramming:
An Experiment in the Design of Software Agents.
AAAI 1994: 438-443 |
| 20 | | David W. Etherington,
Henry A. Kautz:
The Fourth International Workshop on Nonmonotonic Reasoning.
AI Magazine 15(3): 83-85 (1994) |
| 19 | | Henry A. Kautz,
Bart Selman,
Michael H. Coen:
Bottom-Up Design of Software Agents.
Commun. ACM 37(7): 143-146 (1994) |
| 18 | | David W. Etherington,
Henry A. Kautz,
Kurt Konolige:
Introduction to the Special Issue.
Fundam. Inform. 21(1/2): 1-5 (1994) |
| 1993 |
|---|
| 17 | | Henry A. Kautz,
Michael J. Kearns,
Bart Selman:
Reasoning With Characteristic Models.
AAAI 1993: 34-39 |
| 16 | | Bart Selman,
Henry A. Kautz:
An Empirical Study of Greedy Local Search for Satisfiability Testing.
AAAI 1993: 46-51 |
| 15 | | Bart Selman,
Henry A. Kautz:
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.
IJCAI 1993: 290-295 |
| 1992 |
|---|
| 14 | | Henry A. Kautz,
Bart Selman:
Forming Concepts for Fast Inference.
AAAI 1992: 786-793 |
| 13 | | Henry A. Kautz,
Bart Selman:
Planning as Satisfiability.
ECAI 1992: 359-363 |
| 12 | | Henry A. Kautz,
Bart Selman:
Forming Concepts for Fast Inference.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 200-215 |
| 1991 |
|---|
| 11 | | Henry A. Kautz,
Peter B. Ladkin:
Integrating Metric and Qualitative Temporal Reasoning.
AAAI 1991: 241-246 |
| 10 | | Bart Selman,
Henry A. Kautz:
Knowledge Compilation using Horn Approximations.
AAAI 1991: 904-909 |
| 9 | | Henry A. Kautz,
Bart Selman:
A General Framework for Knowledge Compilation.
PDK 1991: 287-300 |
| 8 | | Henry A. Kautz,
Bart Selman:
Hard Problems for Simple Default Logics.
Artif. Intell. 49(1-3): 243-279 (1991) |
| 1990 |
|---|
| 7 | | Bart Selman,
Henry A. Kautz:
Model-Preference Default Theories.
Artif. Intell. 45(3): 287-322 (1990) |
| 1989 |
|---|
| 6 | | David W. Etherington,
Alexander Borgida,
Ronald J. Brachman,
Henry A. Kautz:
Vivid Knowledge and Tractable Reasoning.
IJCAI 1989: 1146-1152 |
| 5 | | Henry A. Kautz,
Bart Selman:
Hard Problems for Simple Default Logics.
KR 1989: 189-197 |
| 1988 |
|---|
| 4 | | Bart Selman,
Henry A. Kautz:
The Complexity of Model-Preference Default Theories.
NMR 1988: 115-130 |
| 1986 |
|---|
| 3 | | Henry A. Kautz,
James F. Allen:
Generalized Plan Recognition.
AAAI 1986: 32-37 |
| 2 | | Marc B. Vilain,
Henry A. Kautz:
Constraint Propagation Algorithms for Temporal Reasoning.
AAAI 1986: 377-382 |
| 1 | | Henry A. Kautz:
The Logic of Persistence.
AAAI 1986: 401-405 |
