Henry Kautz

from Wikipedia, the free encyclopedia

Henry A. Kautz (* 1956 in Youngstown (Ohio) ) is an American computer scientist.

Kautz studied mathematics and English at the Case Institute of Technology and Cornell University with a bachelor's degree in 1978 and a master's degree (MA) in 1980 after attending the Writing Seminar at Johns Hopkins University. In 1978/79 he was a systems analyst at Nanodata Corporation in Buffalo (New York). He then studied computer science at the University of Toronto with a master's degree (MS) in 1982 with C. Raymond Perrault (A First-Order Dynamic Logic for Planning) and received his doctorate in 1987 with James F. Allen at the University of Rochester (A formal theory of plan recognition). At the University of Rochester he was also an assistant to Pat Hayes . From 1987 he was at the ATT Bell Laboratories in Murray Hill and from 1994 department head and from 1997 Technology Leader at the ATT Laboratories in Florham Park. In 2000 he became an Associate Professor at the University of Washington . In 2006/07 he was director of the Intelligent Systems department at Kodak Research Laboratories. He is a professor at the University of Rochester and founding director of the Institute for Data Science there.

He deals with artificial intelligence, for example knowledge representation, planning and software agents. He also deals with data mining , ubiquitous computing , wearable computing .

In 1989 he received the IJCAI Computers and Thought Award , in 2018 the ACM-AAAI Allen Newell Award . From 2010 to 2012 he was President of the Association for the Advancement of Artificial Intelligence (AAAI). He is a Fellow of the American Association for the Advancement of Science , the Association for Computing Machinery, and the AAAI.

Fonts (selection)

  • with James F. Allen , R. Pelavin, J. Tenenberg: Reasoning About Plans, Morgan Kaufmann 1991
  • with Marc B. Vilain: Constraint Propagation Algorithms for Temporal Reasoning, 5th National Conference on Artificial Intelligence (AAAI), 1986, pp. 377-386.
  • with Bart Selman , M. Shah: Referral Web: combining social networks and collaborative filtering, Communications of the ACM, Volume 40, 1997, pp. 63-65
  • with B. Selman: Planning as Satisfiability, Tenth European Conference on Artificial Intelligence (ECAI) 92, pp. 359-363
  • with B. Selman: Pushing the envelope: Planning, propositional logic, and stochastic search, Proceedings of the National Conference on Artificial Intelligence, 1996, pp. 1194-1201
  • with B. Selman, B. Cohen: Noise strategies for improving local search, 12th National Conference on Artificial Intelligence (AAAI 94), 1994, pp. 337-343
  • with B. Selman: Unifying SAT-based and graph-based planning, 16th International Joint Conference on Artificial Intelligence, IJCAI 99, pp. 318-325

Web links

Individual evidence

  1. ↑ Henry Kautz in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Kautz, Henry
ALTERNATIVE NAMES Kautz, Henry A.
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH 1956
PLACE OF BIRTH Youngstown, Ohio