Thomas Eiter
Thomas Eiter
Pronouns: he/him
Full Professor, Institute of Logic and Computation, Technische Universität Wien
- Joined March 2017
Names
Emails
****@kr.tuwien.ac.at (Confirmed)
, ****@tuwien.ac.at (Confirmed)
Personal Links
Career & Education History
Full Professor
Institute of Logic and Computation, Technische Universität Wien (tuwien.ac.at)
1998 – Present
Associate Professor
Mathematical Department, Justus Liebig Universität Gießen (uni-giessen.de)
1996 – 1998
Assistant Professor
Institute of Information Systems, Technische Universität Wien (tuwien.ac.at)
1991 – 1996
PhD student
Institute of Information Systems, Technische Universität Wien (tuwien.ac.at)
1990 – 1991
MS student
Institute of Information Systems, Technische Universität Wien (tuwien.ac.at)
1984 – 1989
Advisors, Relations & Conflicts
PhD Advisor
Georg Gottlob
1990 – 1991
Expertise
knowledge represention and reasoning
1990 – Present
declarative problem solving, answer set programming
1990 – Present
complexity and expressive power
1990 – Present
inconsistency management, nonmonotonic formalisms
1990 – Present