Thomas Eiter

Thomas Eiter is a prominent Austrian computer scientist and Professor of Knowledge-Based Systems at the Faculty of Informatics, TU Wien (Vienna University of Technology), a position he has held since 1998. He is affiliated with the Institute of Logic and Computation and serves as the Head of the Research Unit for Knowledge-Based Systems.

Research Focus

• Knowledge Representation and Reasoning: Eiter's primary area of expertise is knowledge representation and reasoning, where he has been active since the 1990s.
• Computational Logic: He also focuses on computational logic, which involves using logical methods to solve computational problems.
• Declarative Problem Solving: His work includes declarative problem-solving techniques, which are used in artificial intelligence to solve problems by specifying what the solution should look like rather than how to achieve it.
• Nonmonotonic Logic Programming and Databases: Eiter is involved in nonmonotonic logic programming, which deals with reasoning under incomplete or inconsistent information.
• Intelligent Agents: His research extends to intelligent agents, which are autonomous entities that can perceive their environment and take actions.

Awards and Memberships

• EurAI Fellow: Eiter was named a EurAI (formerly ECCAI) Fellow in 2006.
• Corresponding Member of the Austrian Academy of Sciences: He became a Corresponding Member in 2007 and was promoted to Full Member in 2022.
• ACM Fellow: He was recognized as an ACM Fellow in 2021.
• Academia Europaea: He is also a member of Academia Europaea.

Publications and Projects

Eiter has published extensively in his field, with notable contributions to journals like Artificial Intelligence and participation in various projects related to AI and knowledge representation. His recent work includes publications on algebraic answer set counting and adaptive large-neighbourhood search for optimization in answer-set programming.12

The LinkedIn username thomas-eiter-8222556 is associated with him, although there is no direct confirmation of this username in the provided search results.3 However, it is likely referring to the same individual given the context.

For more detailed information on his projects and publications, you can refer to his profile on platforms like Google Scholar or DBLP.12