Henry A. Kautz

	2009
90		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: 27-34
89		Henry A. Kautz, Ashish Sabharwal, Bart Selman: Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203
	2008
88		Joseph Modayil, Tongxin Bai, Henry A. Kautz: Improving the recognition of interleaved activities. UbiComp 2008: 40-43
	2007
87		William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz: Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470
86		Tian Sang, Paul Beame, Henry A. Kautz: A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179
85		Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz: A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775
84		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
83		Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz: Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535
82		Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz: Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007)
81		Henry A. Kautz, Bart Selman: The state of SAT. Discrete Applied Mathematics 155(12): 1514-1524 (2007)
80		Lin Liao, Dieter Fox, Henry A. Kautz: Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. I. J. Robotic Res. 26(1): 119-134 (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		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		Lin Liao, Dieter Fox, Henry A. Kautz: Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778
72		Lin Liao, Dieter Fox, Henry A. Kautz: Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506
71		Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose: Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51
70		Lin Liao, Dieter Fox, Henry A. Kautz: Location-based activity recognition. NIPS 2005
69		Tian Sang, Paul Beame, Henry A. Kautz: Heuristics for Fast Exact Model Counting. SAT 2005: 226-240
68		Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
67		Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
66		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		Henry A. Kautz: Toward A Universal Inference Engine. LPNMR 2004: 2
62		Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004
61		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		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		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		Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 149-157
56		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		Ashish Sabharwal, Paul Beame, Henry A. Kautz: Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256
53		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		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		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		Henry A. Kautz, Bart Selman: Preface: Volume 9. Electronic Notes in Discrete Mathematics 9: 1 (2001)
47		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		Donald J. Patterson, Henry A. Kautz: Auto-Walksat: A Self-Tuning Implementation of Walksat. Electronic Notes in Discrete Mathematics 9: 360-368 (2001)
45		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		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		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		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

Coauthor Index

1	Dimitris Achlioptas	[44] [47] [50]
2	James F. Allen	[3]
3	Corin R. Anderson	[40]
4	Fahiem Bacchus	[62]
5	Tongxin Bai	[88]
6	Paul Beame	[54] [58] [60] [62] [69] [75] [86]
7	Jeff A. Bilmes (Jeff Bilmes)	[85] [87]
8	Blai Bonet	[40]
9	Alexander Borgida	[6]
10	Gaetano Borriello	[76] [90]
11	Ronald J. Brachman (Ron Brachman)	[6]
12	Michael Brenner	[40]
13	Pat A. Brown	[76] [90]
14	David Maxwell Chickering (Max Chickering)	[45] [49]
15	Tanzeem Choudhury	[83] [85]
16	Michael H. Coen	[19] [21]
17	Bram Cohen	[22]
18	William W. Cohen	[41]
19	Michael Collier	[61]
20	Nuno Crato	[39]
21	David W. Etherington	[6] [18] [20]
22	Oren Etzioni	[55] [56] [57]
23	Robert Fourer	[66]
24	Dieter Fox	[53] [61] [64] [70] [71] [72] [73] [80] [82] [83]
25	Maria Fox	[40]
26	Eugene C. Freuder	[66]
27	Krzysztof Z. Gajos (Krzysztof Gajos)	[61]
28	Hector Geffner	[40]
29	Enrico Giunchiglia	[66]
30	Goran Gogic	[25]
31	Robert P. Goldman	[66]
32	Carla P. Gomes	[35] [39] [44] [45] [47] [49] [50] [52] [84]
33	Karthik Gopalratnam	[74]
34	Mark Harniss	[76] [90]
35	Harlan Hile	[76] [90]
36	Jörg Hoffmann	[40] [84]
37	Eric Horvitz	[45] [49] [51] [52] [65]
38	Yi-Cheng Huang	[38] [42]
39	Kurt Johnson	[76] [90]
40	Michael J. Kearns	[17] [24]
41	Steven P. Ketchpel	[21]
42	Jana Koehler (Jana Köhler)	[40]
43	Kurt Konolige	[18]
44	Peter B. Ladkin	[11]
45	Lin Liao	[53] [61] [64] [70] [72] [73] [80] [82] [83]
46	Alan L. Liu	[76] [90]
47	Nik Livic	[61]
48	Derek Long	[40]
49	David A. McAllester	[27] [32] [33] [41]
50	Al Milewski	[29]
51	Joseph Modayil	[88]
52	Alexander Nareyek	[66]
53	Katherine Olson	[61]
54	Christos H. Papadimitriou	[25]
55	Donald J. Patterson	[46] [53] [61] [71] [82]
56	William Pentney	[77] [87]
57	Matthai Philipose	[71] [77] [87]
58	Toniann Pitassi	[62]
59	Ana-Maria Popescu	[55] [56] [57] [77]
60	Chris Ramming	[21]
61	Jussi Rintanen	[66]
62	Frank Rittinger	[40]
63	Yongshao Ruan	[45] [47] [49] [50] [51] [52] [65]
64	Ashish Sabharwal	[54] [58] [60] [89]
65	Tian Sang	[62] [69] [75] [86]
66	Bart Selman	[4] [5] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [19] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [42] [44] [45] [47] [48] [49] [50] [52] [59] [81] [84] [89]
67	Mehul A. Shah	[30] [31]
68	David E. Smith	[40]
69	Mark E. Stickel	[47] [50]
70	Austin Tate	[66]
71	Wolfgang Thomas	[67] [68] [79]
72	Moshe Y. Vardi	[67] [68] [79]
73	Marc B. Vilain	[2]
74	Joachim P. Walser	[37]
75	Shiaokai Wang	[61] [77]
76	Daniel S. Weld	[40] [74]
77	Danny Wyatt	[85]

Colors in the list of coauthors