2020 - AAAI Distinguished Service Award For significant contributions to the field of artificial intelligence through sustained service to the Association for the Advancement of Artificial Intelligence and the furtherance of the field as a researcher, mentor and NSF IIS director.
2020 - AAAI Robert S. Engelmore Memorial Lecture Award For outstanding research contributions in the area of knowledge representation, data analytics, and data mining of social media for public good.
2018 - ACM AAAI Allen Newell Award For contributions to artificial intelligence and computational social science, including fundamental results on the complexity of inference, planning, and media analytics for public health.
2013 - ACM Fellow For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health.
2006 - Fellow of the American Association for the Advancement of Science (AAAS)
1997 - Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) For contributions to many areas of artificial intelligence, from plan recognition to knowledge representation to software agents.
His work focuses on many connections between Archaeology and other disciplines, such as Context (archaeology), that overlap with his field of interest in Paleontology. His study ties his expertise on Context (archaeology) together with the subject of Paleontology. His Artificial intelligence study frequently draws connections to other fields, such as Contrast (vision). His research on Contrast (vision) often connects related areas such as Artificial intelligence. His studies link Global Positioning System with Telecommunications. His Global Positioning System study frequently links to related topics such as Telecommunications. He incorporates Inference and Propositional calculus in his studies. Henry Kautz undertakes multidisciplinary investigations into Propositional calculus and Inference in his work. Much of his study explores Programming language relationship to Resolution (logic).
Henry Kautz links relevant study fields such as Inference and Probabilistic logic in the subject of Artificial intelligence. In his research, Henry Kautz performs multidisciplinary study on Algorithm and Theoretical computer science. In most of his Theoretical computer science studies, his work intersects topics such as Satisfiability. He frequently studies issues relating to Algorithm and Satisfiability. Context (archaeology) and Paleontology are frequently intertwined in his study. Paleontology is closely attributed to Context (archaeology) in his study. Henry Kautz conducts interdisciplinary study in the fields of Human–computer interaction and Artificial intelligence through his research. Henry Kautz performs integrative study on Machine learning and Data mining. His work often combines Data mining and Machine learning studies.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Referral Web: combining social networks and collaborative filtering
Henry Kautz;Bart Selman;Mehul Shah.
Communications of The ACM (1997)
Planning as satisfiability
Henry Kautz;Bart Selman.
european conference on artificial intelligence (1992)
Constraint propagation algorithms for temporal reasoning: a revised report
Marc Vilain;Henry Kautz;Peter van Beek.
(1989)
Pushing the envelope: planning, propositional logic, and stochastic search
Henry Kautz;Bart Selman.
national conference on artificial intelligence (1996)
Noise strategies for improving local search
Bart Selman;Henry A. Kautz;Brain Cohen.
national conference on artificial intelligence (1994)
Inferring activities from interactions with objects
M. Philipose;K.P. Fishkin;M. Perkowitz;D.J. Patterson.
IEEE Pervasive Computing (2004)
Learning and inferring transportation routines
Lin Liao;Donald J. Patterson;Dieter Fox;Henry Kautz.
Artificial Intelligence (2007)
Constraint propagation algorithms for temporal reasoning
Marc Vilain;Henry Kautz.
national conference on artificial intelligence (1986)
Local search strategies for satisfiability testing
Bart Selman;Henry A. Kautz;Bram Cohen.
Cliques, Coloring, and Satisfiability : 2nd DIMACS Implementation Challenge (1993)
Boosting combinatorial search through randomization
Carla P. Gomes;Bart Selman;Henry Kautz.
national conference on artificial intelligence (1998)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Cornell University
University of Washington
University of Rochester
Cornell University
Microsoft (United States)
Toyota Technological Institute at Chicago
University of Washington
University of Washington
Microsoft (United States)
University of Washington
Linköping University
Newcastle University
University of Paris-Saclay
University of Notre Dame
Zhengzhou University
Dartmouth College
US Forest Service
University of Wisconsin–Madison
Just Biotherapeutics (United States)
University of California, Riverside
Turku University Hospital
Centre for Addiction and Mental Health
Simon Fraser University
Texas A&M University
University of Arizona
University of Maryland, College Park