World's Best Scientists 2026 revealed!
Thomas Eiter

Thomas Eiter

Award Badge
Computer Science
Austria
2026

D-Index & Metrics

Computer Science

D-Index
76
Citations
23050
World Ranking
1342
National Ranking
10

Research.com Recognitions

  • 2026 - Research.com Computer Science in Austria Leader Award
  • 2025 - Research.com Computer Science in Austria Leader Award
  • 2023 - Research.com Computer Science in Austria Leader Award
  • 2022 - Research.com Computer Science in Austria Leader Award
  • 2020 - ACM Fellow For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving
  • 2016 - Member of Academia Europaea

Overview

Thomas Eiter is affiliated with TU Wien in Austria and has a significant body of research primarily in computer science with a focus on artificial intelligence.

The main research fields of Thomas Eiter include:

  • Computer Science

Within computer science, the key subfields of study are:

  • Artificial Intelligence
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics
  • Computer Vision and Pattern Recognition

The main topics covered in Thomas Eiter's work include:

  • Logic, Reasoning, and Knowledge
  • Multi-Agent Systems and Negotiation
  • Semantic Web and Ontologies
  • Constraint Satisfaction and Optimization
  • Navier-Stokes Equation Solutions
  • Advanced Mathematical Modeling in Engineering
  • Advanced Database Systems and Queries

Thomas Eiter has contributed to numerous publications with a variety of frequent co-authors. These collaborators include:

  • Johannes Oetsch
  • Rafael Kiesel
  • Tobias Geibinger
  • Nysret Musliu
  • Daria Stepanova

The scientist's research has appeared in multiple well-known venues, including:

  • arXiv (Cornell University)
  • Theory and Practice of Logic Programming
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Artificial Intelligence
  • Electronic Proceedings in Theoretical Computer Science

Among Thomas Eiter's recent papers are:

  • "Query Rewriting for Horn-SHIQ Plus Rules" (2021) published in Proceedings of the AAAI Conference on Artificial Intelligence
  • "A Neuro-Symbolic ASP Pipeline for Visual Question Answering" (2022) published in Theory and Practice of Logic Programming

Other notable papers associated with the scientist's research network include:

  • "A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion" (2021) in Proceedings of the AAAI Conference on Artificial Intelligence
  • "Abstraction for non-ground answer set programs" (2021) published in Artificial Intelligence
  • "Omission-Based Abstraction for Answer Set Programs" (2020) in Theory and Practice of Logic Programming

Thomas Eiter has contributed to academic book publications as well, including a title published by Springer Science+Business Media:

  • Prolog: The Next 50 Years (2023)

Recognition of Thomas Eiter's scientific contributions includes the following awards:

  • ACM Fellow (2020) for contributions to knowledge representation and reasoning, logic programming, and declarative problem solving
  • Member of Academia Europaea (2016)

Best Publications

  • The DLV system for knowledge representation and reasoning

    Nicola Leone;Gerald Pfeifer;Wolfgang Faber;Thomas Eiter

  • Complexity and expressive power of logic programming

    Evgeny Dantsin;Thomas Eiter;Georg Gottlob;Andrei Voronkov

  • Answer set programming at a glance

    Gerhard Brewka;Thomas Eiter;Mirosław Truszczyński

  • Combining answer set programming with description logics for the Semantic Web

    Thomas Eiter;Giovambattista Ianni;Thomas Lukasiewicz;Roman Schindlauer

  • Disjunctive datalog

    Thomas Eiter;Georg Gottlob;Heikki Mannila

  • Combining answer set programming with description logics for the semantic web

    Thomas Eiter;Thomas Lukasiewicz;Roman Schindlauer;Hans Tompits

  • On the complexity of propositional knowledge base revision, updates, and counterfactuals

    Thomas Eiter;Georg Gottlob

  • The complexity of logic-based abduction

    Thomas Eiter;Georg Gottlob

  • Identifying the Minimal Transversals of a Hypergraph and Related Problems

    Thomas Eiter;Georg Gottlob

  • On the computational cost of disjunctive logic programming: Propositional case

    Thomas Eiter;Georg Gottlob

  • Preferred answer sets for extended logic programs

    Gerhard Brewka;Thomas Eiter

  • A uniform integration of higher-order reasoning and external evaluations in answer-set programming

    Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;Hans Tompits

  • Distance measures for point sets and their computation

    Thomas Eiter;Heikki Mannila

  • Answer Set Programming: A Primer

    Thomas Eiter;Giovambattista Ianni;Thomas Krennwallner

  • The KR system dlv: progress report, comparisons and benchmarks

    Thomas Eiter;Nicola Leone;Cristinel Mateis;Gerald Pfeifer

  • Propositional circumscription and extended closed-world reasoning are P p 2 -complete

    Thomas Eiter;Georg Gottlob

  • Equilibria in heterogeneous nonmonotonic multi-context systems

    Gerhard Brewka;Thomas Eiter

  • A Deductive System for Non-Monotonic Reasoning

    Thomas Eiter;Nicola Leone;Cristinel Mateis;Gerald Pfeifer

  • Declarative problem-solving using the DLV system

    Thomas Eiter;Wolfgang Faber;Nicola Leone;Gerald Pfeifer

  • New Results on Monotone Dualization and Generating Hypergraph Transversals

    Thomas Eiter;Georg Gottlob;Kazuhisa Makino

Frequent Co-Authors

Georg Gottlob
Georg Gottlob University of Calabria
Nicola Leone
Nicola Leone University of Calabria
Wolfgang Faber
Wolfgang Faber University of Klagenfurt
Axel Polleres
Axel Polleres Vienna University of Economics and Business
Thomas Lukasiewicz
Thomas Lukasiewicz University of Oxford
Gerhard Brewka
Gerhard Brewka Leipzig University
V. S. Subrahmanian
V. S. Subrahmanian Dartmouth College
Toshihide Ibaraki
Toshihide Ibaraki Kyoto College of Graduate Studies for Informatics

If you think any of the details on this page are incorrect, let us know.

Report an issue

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:

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA opens up a wide array of online learning and career opportunities. Students seeking affordability may want to explore programs recognized as the cheapest bachelor's degree online, which can provide flexibility and cost savings without sacrificing quality.

For those interested in technical fields, there are numerous engineering degrees online that offer specialized skills relevant to today’s job market. These programs prepare graduates for work in technology, infrastructure, and beyond.

Professionals looking to elevate their careers further may consider the best online executive mba programs. These online MBAs are designed for working individuals ready to move into leadership roles, combining business acumen with flexibility.

Additionally, those interested in information management and digital resources can investigate the mlis degree online cost to understand tuition options for this growing field. Exploring these online pathways helps students match their education to their career goals and financial needs.

Best Scientists Citing Thomas Eiter

Trending Scientists