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:
Publikationen:
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.
- 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) The complexity of logic-based abduction. Journal of the ACM (JACM), Bd. 42 (1), S. 3-42.