o.Univ.-Prof. Dipl.-Ing. Dr. techn.

Thomas Eiter

Thomas Eiter

Wirkliches Mitglied der mathematisch-naturwissenschaftlichen Klasse seit 2022

  • Institut für Logic and Computation, Technische Universität Wien

Kontakt:

Orcid-ID:

0000-0001-6003-6345

Forschungsbereiche:

  • Informatik
  • Artificial Intelligence
  • Informationssysteme
  • Datenbanksysteme
  • Mathematische Logik

Zur Person:

CV/Website

Publikationen:

Webseite

Ausgewählte Mitgliedschaften:

  • Academia Europaea
  • Association for Computing Machinery
  • IEEE Computer Science Society
  • Association for Logic Programming
  • Austrian Society for Artificial Intelligence
  • Kurt Gödel Society

Ausgewählte Preise und Auszeichnungen:

  • ACM Fellow, 2020
  • Fellow of the European Association for AI, 2006
  • Distinguished Paper Award of the 17th International Joint Conference on Artificial * Intelligence (IJCAI), 2001
  • Prominent Paper Award of the Artificial Intelligence Journal, 2013
  • Test of Time Award (10 years) of the International Conference on Logic Programming, 2013

Ausgewählte Publikationen:

  • Beck, Harald; Dao-Tran, Minh und Eiter, Thomas (2018) LARS: A Logic-based framework for Analytical Reasoning over Streams. Artificial Intelligence (261), S. 16-70.
    RISENWBIB
  • Eiter, T.; Ianni, G.; Lukasiewicz, T.; Schindlauer, R.; Tompits, H. (2008) Combining answer set programming with description logics for the semantic web. Artificial intelligence, Bd. 172 (12), S. 1495-1539.
    RISENWBIB
  • Leone, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G. et al. [..] (2006) The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL), Bd. 7 (3), S. 499-562.
    RISENWBIB
  • Brewka, G.; Eiter, T. (1999) Preferred answer sets for extended logic programs. Artificial intelligence, Bd. 109 (1), S. 297-356.
    RISENWBIB
  • Eiter, T.; Gottlob, G. (1995) The complexity of logic-based abduction. Journal of the ACM (JACM), Bd. 42 (1), S. 3-42.
    RISENWBIB