Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992 | 1593 | 1992 |
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997 | 1555 | 1997 |
Pushing the envelope: Planning, propositional logic, and stochastic search H Kautz, B Selman Proceedings of the national conference on artificial intelligence, 1194-1201, 1996 | 1333 | 1996 |
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994 | 1311 | 1994 |
Inferring activities from interactions with objects M Philipose, KP Fishkin, M Perkowitz, DJ Patterson, D Fox, H Kautz, ... IEEE pervasive computing 3 (4), 50-57, 2004 | 1223 | 2004 |
Learning and inferring transportation routines L Liao, DJ Patterson, D Fox, H Kautz Artificial intelligence 171 (5-6), 311-331, 2007 | 1160 | 2007 |
Constraint propagation algorithms for temporal reasoning. MB Vilain, HA Kautz Aaai 86, 377-382, 1986 | 1052 | 1986 |
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993 | 991 | 1993 |
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998 | 930 | 1998 |
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997 | 794 | 1997 |
Generalized plan recognition. HA Kautz, JF Allen AAAI 86 (3237), 5, 1986 | 792 | 1986 |
Inferring high-level behavior from low-level sensors DJ Patterson, L Liao, D Fox, H Kautz UbiComp 2003: Ubiquitous Computing: 5th International Conference, Seattle …, 2003 | 783 | 2003 |
Towards a theory of natural language interfaces to databases AM Popescu, O Etzioni, H Kautz Proceedings of the 8th international conference on Intelligent user …, 2003 | 753 | 2003 |
A formal theory of plan recognition and its implementation HA Kautz Reasoning about plans, 69-125, 1991 | 745* | 1991 |
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999 | 735 | 1999 |
Activity recognition using the velocity histories of tracked keypoints R Messing, C Pal, H Kautz 2009 IEEE 12th international conference on computer vision, 104-111, 2009 | 671 | 2009 |
Constraint propagation algorithms for temporal reasoning: A revised report M Vilain, H Kautz, P Van Beek Readings in qualitative reasoning about physical systems, 373-381, 1990 | 603 | 1990 |
Fine-grained activity recognition by aggregating abstract object usage DJ Patterson, D Fox, H Kautz, M Philipose Ninth IEEE International Symposium on Wearable Computers (ISWC'05), 44-51, 2005 | 595 | 2005 |
Extracting places and activities from gps traces using hierarchical conditional random fields L Liao, D Fox, H Kautz The International Journal of Robotics Research 26 (1), 119-134, 2007 | 593 | 2007 |
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems CP Gomes, B Selman, N Crato, H Kautz Journal of automated reasoning 24 (1), 67-100, 2000 | 590 | 2000 |