Thomas Eiter
o. Univ.-Prof. DI Dr. techn.

Thomas Eiter

Korrespondierendes Mitglied der mathematisch-naturwissenschaftlichen Klasse im Inland seit 2007

  • Institut für Informationssysteme, Technische Universität Wien

Kontakt:

Forschungsbereiche:

  • Informatik
  • Artificial Intelligence
  • Informationssysteme
  • Datenbanksysteme
  • Computationale Logik

Zur Person:

CV/Website

Ausgewählte Mitgliedschaften:

  • Academia Europaea
  • Association for Computing Machinery
  • Österreichische Gesellschaft für Artificial Intelligence
  • Kurt Gödel Society

Ausgewählte Preise und Auszeichnungen:

  • Fellow of the European Coordinating Committee for Artificial Intelligence
  • Distinguished Paper Award of the Seventeenth International Joint Conference on Artificial Intelligence, Seattle
  • Outstanding Paper Award of the Eighteenth National Conference on Artificial Intelligence, Alberta
  • Test of Time Award (10 years) of the International Conference on Logic Programming
  • Prominent Paper Award of the Artificial Intelligence Journal

Ausgewählte Publikationen:

  • 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.
  • 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.
  • Brewka, G.; Eiter, T. (1999) Preferred answer sets for extended logic programs. Artificial intelligence, Bd. 109 (1), S. 297-356.
  • Eiter, T.; Gottlob, G. (1995) Identifying the minimal transversals of a hypergraph and related problems. SIAM Journal on Computing, Bd. 24 (6), S. 1278-1304.
  • Eiter, T.; Gottlob, G. (1995) The complexity of logic-based abduction. Journal of the ACM (JACM), Bd. 42 (1), S. 3-42.