Henry A. Kautz
1986–2026 年に発表
- 171
- 論文数
- 21,089
- 被引用数
- 64
- h 指数
- 120
- i10 指数
被引用数
引用元
国・地域
機関
分野
- Computer Science78%
- Social Sciences7.4%
- Engineering5.2%
- Physics and Astronomy2.1%
- Decision Sciences1.8%
- Psychology1.4%
- その他4.1%
トピック
- Constraint Satisfaction and Optimization6.9%
- Logic, Reasoning, and Knowledge5.9%
- AI-based Problem Solving and Planning4.7%
- Context-Aware Activity Recognition Systems4.2%
- Formal Methods in Verification3.8%
- Semantic Web and Ontologies3.7%
- その他70.8%
共著者
- Bart Selman46
- Jiebo Luo18
- Adam Sadilek13
- Dieter Fox12
- Carla P. Gomes10
- Lin Liao10
- Young Chol Song10
- Nabil Hossain9
- Vincent Silenzio9
- Eric Horvitz7
- Parag Singla7
- Paul Beame7
- Yongshao Ruan7
- Anis Zaman6
- Donald J. Patterson6
- Tianran Hu6
- Ann Marie White5
- Ashish Sabharwal5
- Tivadar Papai5
- Alan L. Liu4
- Daniel Gildea4
- David A. McAllester4
- Gaetano Borriello4
- Harlan Hile4
全論文
- The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture
著者: Henry A. Kautz - AI Magazine, AI Mag. 2022 被引用: 99
- Towards a theory of natural language interfaces to databases
著者: Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz - conference on Intelligent user interfaces, IUI 2003 被引用: 521
- Local search strategies for satisfiability testing
著者: Bart Selman, Henry A. Kautz, Bram Cohen - DIMACS series in discrete mathematics and theoretical computer science, Cliques, Coloring, and Satisfiability 1993 被引用: 514
- Satisfiability Solvers
著者: Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman - Foundations of artificial intelligence 2007 被引用: 168
- Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing
著者: Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz - AAAI Conference on Artificial Intelligence 2015 被引用: 105
- Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
著者: Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose - Ninth IEEE International Symposium on Wearable Computers (ISWC'05) 2005 被引用: 452
- Towards Understanding and Harnessing the Potential of Clause Learning
著者: Paul Beame, Henry A. Kautz, Ashish Sabharwal - Journal of Artificial Intelligence Research, J. Artif. Intell. Res. 2004 被引用: 288
- Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
著者: Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz - Journal of Automated Reasoning, J. Autom. Reason. 2000 被引用: 368
- Finding your friends and following them to where you are
著者: Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham - fifth ACM international conference on Web search and data mining, WSDM 2012 被引用: 349
- Inferring Activities from Interactions with Objects
著者: Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson, Dieter Fox, Henry A. Kautz, Dirk Hähnel - IEEE Pervasive Computing, IEEE Pervasive Comput. 2004 被引用: 875
- Planning as Satisfiability
著者: Henry A. Kautz, Bart Selman - http://www.cs.rochester.edu/~zhanghao/docs/Kautz.satplan.pdf, ECAI 1992 被引用: 828
- Boosting Combinatorial Search Through Randomization
著者: Carla P. Gomes, Bart Selman, Henry A. Kautz - http://www.cs.ubc.ca/labs/beta/Courses/CPSC532D-03/Resources/GomSelKau98.pdf, AAAI/IAAI 1998 被引用: 725
- Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields
著者: Lin Liao, Dieter Fox, Henry A. Kautz - The International Journal of Robotics Research, Int. J. Robotics Res. 2007 被引用: 411
- Explaining Local, Global, And Higher-Order Interactions In Deep Learning
著者: Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu - IEEE/CVF International Conference on Computer Vision (ICCV) 2021 被引用: 9
- Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines
著者: Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz - Meeting of the Association for Computational Linguistics: System Demonstrations, ACL (demo) 2020 被引用: 4
- Learning and inferring transportation routines
著者: Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz - Artificial Intelligence, Artif. Intell. 2007 被引用: 679
- Inferring High-Level Behavior from Low-Level Sensors
著者: Donald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz - Lecture notes in computer science, UbiComp 2003 被引用: 517
- Knowledge Compilation and Theory Approximation
著者: Bart Selman, Henry A. Kautz - Journal of the ACM, J. ACM 1996 被引用: 303
- Combining Component Caching and Clause Learning for Effective Model Counting
著者: Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi - http://www.satisfiability.org/SAT04/programme/21.pdf 2004 被引用: 188
- Heuristics for Fast Exact Model Counting
著者: Tian Sang, Paul Beame, Henry A. Kautz - Lecture notes in computer science, SAT 2005 被引用: 93
- Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments
著者: Iftekhar Naim, Young Chol Song, Qiguang Liu, Liang Huang, Henry A. Kautz, Jiebo Luo, Daniel Gildea - Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, HLT-NAACL 2015 被引用: 31
- Pushing the Envelope: Planning, Propositional Logic and Stochastic Search
著者: Henry A. Kautz, Bart Selman - http://www.ics.uci.edu/~dechter/ics-271/fall-06/project/h.kautz96.pdf, AAAI/IAAI, Vol. 2 1996 被引用: 1,073
- Activity recognition using the velocity histories of tracked keypoints
著者: Ross Messing, Christopher J. Pal, Henry A. Kautz - IEEE 12th International Conference on Computer Vision, ICCV 2009 被引用: 455
- Modeling Spread of Disease from Social Interactions
著者: Adam Sadilek, Henry A. Kautz, Vincent Silenzio - AAAI Conference on Web and Social Media, ICWSM 2012 被引用: 166
