H-Index & Metrics Best Publications
Thomas Eiter

Thomas Eiter

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 72 Citations 20,617 345 World Ranking 735 National Ranking 7

Research.com Recognitions

Awards & Achievements

2020 - ACM Fellow For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving

2016 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

  • Artificial intelligence
  • Programming language
  • Algorithm

His scientific interests lie mostly in Theoretical computer science, Non-monotonic logic, Stable model semantics, Logic programming and Programming language. His studies deal with areas such as Discrete mathematics and Representation as well as Theoretical computer science. He has included themes like Semantics, Default logic, Circumscription and Knowledge representation and reasoning in his Non-monotonic logic study.

His Stable model semantics study integrates concerns from other disciplines, such as Autoepistemic logic, Well-founded semantics and Answer set programming. His studies deal with areas such as Negation as failure, Negation and Computational logic as well as Logic programming. His study in Programming language concentrates on Datalog and Declarative programming.

His most cited work include:

  • The DLV system for knowledge representation and reasoning (1059 citations)
  • Complexity and expressive power of logic programming (673 citations)
  • Answer set programming at a glance (583 citations)

What are the main themes of his work throughout his whole career to date?

His main research concerns Theoretical computer science, Programming language, Answer set programming, Non-monotonic logic and Logic programming. His studies in Theoretical computer science integrate themes in fields like Semantics, Set and Knowledge representation and reasoning. The Knowledge representation and reasoning study which covers Circumscription that intersects with Discrete mathematics.

Programming language is frequently linked to Semantics in his study. His Non-monotonic logic research incorporates elements of Equivalence, Computation, Default logic and Knowledge base. His Logic programming research includes elements of Inductive programming, Functional logic programming, Computational logic and Prolog.

He most often published in these fields:

  • Theoretical computer science (39.29%)
  • Programming language (22.22%)
  • Answer set programming (19.84%)

What were the highlights of his more recent work (between 2015-2021)?

  • Answer set programming (19.84%)
  • Theoretical computer science (39.29%)
  • Programming language (22.22%)

In recent papers he was focusing on the following fields of study:

Thomas Eiter mainly investigates Answer set programming, Theoretical computer science, Programming language, Set and Semantics. His Answer set programming research is multidisciplinary, incorporating perspectives in Epistemic modal logic, Algebraic number, Non-monotonic logic, Interface and Semantics. His work in the fields of Theoretical computer science, such as Datalog, intersects with other areas such as Bottleneck.

His research in Datalog intersects with topics in Defeasible estate, Description logic, Defeasible reasoning and Knowledge representation and reasoning. Thomas Eiter combines subjects such as Abstraction, Reason maintenance, Logical reasoning, Mode and Control with his study of Programming language. His work deals with themes such as Program transformation, Stream processing and Logic programming, which intersect with Semantics.

Between 2015 and 2021, his most popular works were:

  • Evaluating epistemic negation in answer set programming (31 citations)
  • A model building framework for answer set programming with external computations (30 citations)
  • LARS: A Logic-based framework for Analytic Reasoning over Streams (27 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algorithm

Thomas Eiter focuses on Answer set programming, Theoretical computer science, Programming language, Information retrieval and Negation. His Answer set programming research integrates issues from Encoding, Relevance, Non-monotonic logic, Semantics and Interface. His biological study spans a wide range of topics, including Equivalence, Knowledge base, Knowledge representation and reasoning, Defeasible estate and Semantics.

Many of his research projects under Programming language are closely connected to Formalism and Information exchange with Formalism and Information exchange, tying the diverse disciplines of science together. Thomas Eiter interconnects Negation as failure, Stable model semantics, Truth value, Well-founded semantics and Canonical model in the investigation of issues within Negation. His Stable model semantics study is related to the wider topic of Artificial intelligence.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

The DLV system for knowledge representation and reasoning

Nicola Leone;Gerald Pfeifer;Wolfgang Faber;Thomas Eiter.
ACM Transactions on Computational Logic (2006)

1409 Citations

Complexity and expressive power of logic programming

Evgeny Dantsin;Thomas Eiter;Georg Gottlob;Andrei Voronkov.
ACM Computing Surveys (2001)

916 Citations

Answer set programming at a glance

Gerhard Brewka;Thomas Eiter;Mirosław Truszczyński.
Communications of The ACM (2011)

716 Citations

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter;Giovambattista Ianni;Thomas Lukasiewicz;Roman Schindlauer.
Artificial Intelligence (2008)

702 Citations

Combining answer set programming with description logics for the semantic web

Thomas Eiter;Thomas Lukasiewicz;Roman Schindlauer;Hans Tompits.
principles of knowledge representation and reasoning (2004)

636 Citations

Disjunctive datalog

Thomas Eiter;Georg Gottlob;Heikki Mannila.
ACM Transactions on Database Systems (1997)

616 Citations

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

Thomas Eiter;Georg Gottlob.
Artificial Intelligence (1992)

531 Citations

Identifying the Minimal Transversals of a Hypergraph and Related Problems

Thomas Eiter;Georg Gottlob.
SIAM Journal on Computing (1995)

524 Citations

The complexity of logic-based abduction

Thomas Eiter;Georg Gottlob.
Journal of the ACM (1995)

501 Citations

On the computational cost of disjunctive logic programming: Propositional case

Thomas Eiter;Georg Gottlob.
Annals of Mathematics and Artificial Intelligence (1995)

394 Citations

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

Contact us

Best Scientists Citing Thomas Eiter

Nicola Leone

Nicola Leone

University of Calabria

Publications: 142

Stefan Woltran

Stefan Woltran

TU Wien

Publications: 140

Torsten Schaub

Torsten Schaub

University of Potsdam

Publications: 138

Miroslaw Truszczynski

Miroslaw Truszczynski

University of Kentucky

Publications: 89

Georg Gottlob

Georg Gottlob

University of Oxford

Publications: 86

Wolfgang Faber

Wolfgang Faber

University of Klagenfurt

Publications: 83

Martin Gebser

Martin Gebser

University of Klagenfurt

Publications: 80

Hans Tompits

Hans Tompits

TU Wien

Publications: 79

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 74

Thomas Lukasiewicz

Thomas Lukasiewicz

University of Oxford

Publications: 71

Riccardo Rosati

Riccardo Rosati

Sapienza University of Rome

Publications: 68

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 61

Frank Wolter

Frank Wolter

University of Liverpool

Publications: 51

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 51

Michael Zakharyaschev

Michael Zakharyaschev

Birkbeck, University of London

Publications: 49

V. S. Subrahmanian

V. S. Subrahmanian

Dartmouth College

Publications: 49

Something went wrong. Please try again later.