dblp.uni-trier.dewww.uni-trier.de

Henry A. Kautz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
90EEAlan 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
89EEHenry A. Kautz, Ashish Sabharwal, Bart Selman: Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203
2008
88EEJoseph 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
86EETian Sang, Paul Beame, Henry A. Kautz: A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179
85EEDanny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz: A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775
84EEJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923
83EELin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz: Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535
82EELin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz: Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007)
81EEHenry A. Kautz, Bart Selman: The state of SAT. Discrete Applied Mathematics 155(12): 1514-1524 (2007)
80EELin 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
76EEAlan 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
73EELin Liao, Dieter Fox, Henry A. Kautz: Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778
72EELin Liao, Dieter Fox, Henry A. Kautz: Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506
71EEDonald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose: Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51
70EELin Liao, Dieter Fox, Henry A. Kautz: Location-based activity recognition. NIPS 2005
69EETian Sang, Paul Beame, Henry A. Kautz: Heuristics for Fast Exact Model Counting. SAT 2005: 226-240
68EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
67EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
66EEAlexander 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
63EEHenry A. Kautz: Toward A Universal Inference Engine. LPNMR 2004: 2
62EETian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004
61EEDonald 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
60EEPaul 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
59EEHenry 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
57EEAna-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 149-157
56EEAna-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
54EEAshish Sabharwal, Paul Beame, Henry A. Kautz: Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256
53EEDonald 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
51EEYongshao 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
49EEEric 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
48EEHenry A. Kautz, Bart Selman: Preface: Volume 9. Electronic Notes in Discrete Mathematics 9: 1 (2001)
47EEHenry 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)
46EEDonald J. Patterson, Henry A. Kautz: Auto-Walksat: A Self-Tuning Implementation of Walksat. Electronic Notes in Discrete Mathematics 9: 360-368 (2001)
45EEEric 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
43EEHenry 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
41EEWilliam 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
26EEBart 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
24EEHenry 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)