Thomas Eiter is Professor of Knowledge-Based Systems in the Faculty of Informatics at Technische Universität Wien, Austria, since 1998. He worked in different fields of Computer Science and Artificial Intelligence, but his main area is knowledge representation and reasoning, where he has been active since the 1990s and published extensively.
Prizes, awards, memberships
Thomas Eiter has been serving on many editorial boards, steering bodies, and program committees (e.g. chairing KI 2001 and KR 2014). He is an EurAI (formerly ECCAI) Fellow (2006), a Corresponding Member of the Austrian Academy of Sciences (2007), and ACM Fellow (2021).
- knowledge representation and reasoning
- computational logic
- algorithms and complexity in AI
- declarative problem solving
- nonmonotonic logic programming and databases
- reasoning about actions and change
- intelligent agents