Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Henry A. Kautz
2010 – today
- 2013
[c86]Walter S. Lasecki, Young Chol Song, Henry A. Kautz, Jeffrey P. Bigham: Real-time crowd labeling for deployable activity recognition. CSCW 2013: 1203-1212- [c85]Sean Padraig Brennan, Adam Sadilek, Henry A. Kautz: Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. IJCAI 2013
- [c84]Adam Sadilek, Henry A. Kautz: Modeling The Interplay of People's Location, Interactions, and Social Ties. IJCAI 2013
- [c83]Adam Sadilek, Henry A. Kautz: Modeling the impact of lifestyle on health at scale. WSDM 2013: 637-646
- [i3]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering: A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013)
- 2012
- [j25]Adam Sadilek, Henry A. Kautz: Location-Based Reasoning about Complex Multi-Agent Behavior. J. Artif. Intell. Res. (JAIR) 43: 87-133 (2012)
- [j24]Yi Chu, Young Chol Song, Richard Levinson, Henry A. Kautz: Interactive activity recognition and prompting to assist people with cognitive disabilities. JAISE 4(5): 443-459 (2012)
- [c82]Adam Sadilek, Henry A. Kautz, Vincent Silenzio: Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. AAAI 2012
- [c81]Young Chol Song, Henry A. Kautz: A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. AAAI 2012
- [c80]Adam Sadilek, Henry A. Kautz, Vincent Silenzio: Modeling Spread of Disease from Social Interactions. ICWSM 2012
- [c79]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic: Slice Normalized Dynamic Markov Logic Networks. NIPS 2012: 1916-1924
- [c78]Tivadar Papai, Shalini Ghosh, Henry A. Kautz: Combining Subjective Probabilities and Data in Training Markov Logic Networks. ECML/PKDD (1) 2012: 90-105
- [c77]Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham: Finding your friends and following them to where you are. WSDM 2012: 723-732
- 2011
- [c76]Yi Chu, Young Chol Song, Henry A. Kautz, Richard Levinson: When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting. Artificial Intelligence and Smarter Living 2011
- [c75]Tivadar Papai, Parag Singla, Henry A. Kautz: Constraint Propagation for Efficient Inference in Markov Logic. CP 2011: 691-705
- [i2]Paul Beame, Henry A. Kautz, Ashish Sabharwal: Towards Understanding and Harnessing the Potential of Clause Learning. CoRR abs/1107.0044 (2011)
- [i1]Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour: Plan Recognition (Dagstuhl Seminar 11141). Dagstuhl Reports 1(4): 1-22 (2011)
- 2010
- [j23]
- [j22]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 31(3): 103-114 (2010)
- [c74]
- [e3]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. AAAI 2010
2000 – 2009
- 2009
- [c73]Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz: Organizing Committee. AAAI Spring Symposium: Human Behavior Modeling 2009
- [c72]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
- [c71]Ross Messing, Christopher J. Pal, Henry A. Kautz: Activity recognition using the velocity histories of tracked keypoints. ICCV 2009: 104-111
- [c70]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: 1-8
- [p1]Henry A. Kautz, Ashish Sabharwal, Bart Selman: Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203
- 2008
- [c69]Joseph Modayil, Richard Levinson, Craig Harman, David Halper, Henry A. Kautz: Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems 2008: 60-66
- [c68]Joseph Modayil, Tongxin Bai, Henry A. Kautz: Improving the recognition of interleaved activities. UbiComp 2008: 40-43
- 2007
- [j21]Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz: Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007)
- [j20]Henry A. Kautz, Bart Selman: The state of SAT. Discrete Applied Mathematics 155(12): 1514-1524 (2007)
- [j19]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)
- [c67]William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz: Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470
- [c66]Tian Sang, Paul Beame, Henry A. Kautz: A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179
- [c65]Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz: A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775
- [c64]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
- [c63]Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz: Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535
- 2006
- [c62]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: 906-912
- [c61]
- [c60]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
- [e2]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (Eds.): Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j18]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)
- [c59]Tian Sang, Paul Beame, Henry A. Kautz: Performing Bayesian Inference by Weighted Model Counting. AAAI 2005: 475-482
- [c58]Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld: Extending Continuous Time Bayesian Networks. AAAI 2005: 981-986
- [c57]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
- [c56]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
- [c55]Lin Liao, Dieter Fox, Henry A. Kautz: Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778
- [c54]Lin Liao, Dieter Fox, Henry A. Kautz: Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506
- [c53]Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose: Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51
- [c52]
- [c51]
- 2004
- [j17]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)
- [j16]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 3(4): 50-57 (2004)
- [c50]Yongshao Ruan, Henry A. Kautz, Eric Horvitz: The Backdoor Key: A Path to Understanding Problem Hardness. AAAI 2004: 124-130
- [c49]Lin Liao, Dieter Fox, Henry A. Kautz: Learning and Inferring Transportation Routines. AAAI 2004: 348-353
- [c48]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
- [c47]
- [c46]Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004
- 2003
- [c45]Henry A. Kautz, Bart Selman: Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. CP 2003: 1-18
- [c44]Donald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz: Inferring High-Level Behavior from Low-Level Sensors. Ubicomp 2003: 73-89
- [c43]Paul Beame, Henry A. Kautz, Ashish Sabharwal: Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201
- [c42]Lin Liao, Dieter Fox, Jeffrey Hightower, Henry A. Kautz, Dirk Schulz: Voronoi tracking: location estimation using sparse and noisy sensor data. IROS 2003: 723-728
- [c41]Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 149-157
- [c40]Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 327
- [c39]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
- [c38]Ashish Sabharwal, Paul Beame, Henry A. Kautz: Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256
- 2002
- [c37]Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman: Dynamic Restart Policies. AAAI/IAAI 2002: 674-681
- [c36]Yongshao Ruan, Eric Horvitz, Henry A. Kautz: Restart Policies with Dependence among Runs: A Dynamic Programming Approach. CP 2002: 573-586
- 2001
- [j15]Henry A. Kautz, Bart Selman: Preface: Volume 9. Electronic Notes in Discrete Mathematics 9: 1 (2001)
- [j14]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)
- [j13]Donald J. Patterson, Henry A. Kautz: Auto-Walksat: A Self-Tuning Implementation of Walksat. Electronic Notes in Discrete Mathematics 9: 360-368 (2001)
- [j12]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)
- [c35]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
- [c34]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
- 2000
- [j11]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)
- [j10]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)
- [c33]Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman: Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261
- [c32]
- [c31]Yi-Cheng Huang, Bart Selman, Henry A. Kautz: Learning Declarative Control Rules for Constraint-BAsed Planning. ICML 2000: 415-422
- [c30]William W. Cohen, Henry A. Kautz, David A. McAllester: Hardening soft information sources. KDD 2000: 255-259
- [e1]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. AAAI Press / The MIT Press 2000, ISBN 0-262-51112-6
1990 – 1999
- 1999
- [c29]Yi-Cheng Huang, Bart Selman, Henry A. Kautz: Control Knowledge in Planning: Benefits and Tradeoffs. AAAI/IAAI 1999: 511-517
- [c28]Henry A. Kautz, Joachim P. Walser: State-space Planning by Integer Optimization. AAAI/IAAI 1999: 526-533
- [c27]
- 1998
- [c26]Carla P. Gomes, Bart Selman, Henry A. Kautz: Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437
- [c25]Henry A. Kautz, Bart Selman: The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. AIPS 1998: 181-189
- 1997
- [j9]
- [j8]Henry A. Kautz, Bart Selman, Mehul A. Shah: Referral Web: Combining Social Networks and Collaborative Filtering. Commun. ACM 40(3): 63-65 (1997)
- [c24]David A. McAllester, Bart Selman, Henry A. Kautz: Evidence for Invariants in Local Search. AAAI/IAAI 1997: 321-326
- [c23]Bart Selman, Henry A. Kautz, David A. McAllester: Ten Challenges in Propositional Reasoning and Search. IJCAI (1) 1997: 50-54
- 1996
- [j7]Bart Selman, Henry A. Kautz: Knowledge Compilation and Theory Approximation. J. ACM 43(2): 193-224 (1996)
- [c22]Henry A. Kautz, Bart Selman, Al Milewski: Agent Amplified Communication. AAAI/IAAI, Vol. 1 1996: 3-9
- [c21]Henry A. Kautz, Bart Selman: Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 1996: 1194-1201
- [c20]Henry A. Kautz, David A. McAllester, Bart Selman: Encoding Plans in Propositional Logic. KR 1996: 374-384
- 1995
- [j6]Henry A. Kautz, Michael J. Kearns, Bart Selman: Horn Approximations of Empirical Data. Artif. Intell. 74(1): 129-145 (1995)
- [c19]Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman: The Comparative Linguistics of Knowledge Representation. IJCAI (1) 1995: 862-869
- 1994
- [j5]David W. Etherington, Henry A. Kautz: The Fourth International Workshop on Nonmonotonic Reasoning. AI Magazine 15(3): 83-85 (1994)
- [j4]Henry A. Kautz, Bart Selman, Michael H. Coen: Bottom-Up Design of Software Agents. Commun. ACM 37(7): 143-146 (1994)
- [j3]David W. Etherington, Henry A. Kautz, Kurt Konolige: Introduction to the Special Issue. Fundam. Inform. 21(1/2): 1-5 (1994)
- [c18]Henry A. Kautz, Bart Selman: An Empirical Evaluation of Knowledge Compilation by Theory Approximation. AAAI 1994: 155-161
- [c17]Bart Selman, Henry A. Kautz, Bram Cohen: Noise Strategies for Improving Local Search. AAAI 1994: 337-343
- [c16]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
- 1993
- [c15]Henry A. Kautz, Michael J. Kearns, Bart Selman: Reasoning With Characteristic Models. AAAI 1993: 34-39
- [c14]Bart Selman, Henry A. Kautz: An Empirical Study of Greedy Local Search for Satisfiability Testing. AAAI 1993: 46-51
- [c13]Bart Selman, Henry A. Kautz: Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI 1993: 290-295
- 1992
- [c12]
- [c11]Henry A. Kautz, Bart Selman: Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning 1992: 200-215
- [c10]
- 1991
- [j2]Henry A. Kautz, Bart Selman: Hard Problems for Simple Default Logics. Artif. Intell. 49(1-3): 243-279 (1991)
- [c9]Henry A. Kautz, Peter B. Ladkin: Integrating Metric and Qualitative Temporal Reasoning. AAAI 1991: 241-246
- [c8]
- [c7]
- 1990
- [j1]Bart Selman, Henry A. Kautz: Model-Preference Default Theories. Artif. Intell. 45(3): 287-322 (1990)
1980 – 1989
- 1989
- [c6]David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz: Vivid Knowledge and Tractable Reasoning. IJCAI 1989: 1146-1152
- [c5]
- 1988
- [c4]
- 1986
- [c3]
- [c2]Marc B. Vilain, Henry A. Kautz: Constraint Propagation Algorithms for Temporal Reasoning. AAAI 1986: 377-382
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team