The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henry A. Kautz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  81. Recognizing Multi-Agent Activities from GPS Data. [Citation Graph (, )][DBLP]


  82. Customizing directions in an automated wayfinding system for individuals with cognitive impairment. [Citation Graph (, )][DBLP]


  83. Improving the recognition of interleaved activities. [Citation Graph (, )][DBLP]


  84. Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. [Citation Graph (, )][DBLP]


Search in 0.471secs, Finished in 0.474secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002