Personenprofil

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

Thomas Eiter

Telefon +43 1 58801 18460

E-Mailthomas.eiter@tuwien.ac.at

Zugeordnet

E192	E192-03	E192-50	E056-13	E056-17

Visitenkarte

https://orcid.org/0000-0001-6003-6345

Forschungsabteilung

Name	Leitung/Mitglied
Institut für Logic and Computation	Leitung

Forschungsbereich

Name	Leitung/Mitglied
Services des Instituts	Leitung
Forschungsbereich Knowledge Based Systems	Leitung
Fachbereich Trustworthy Autonomous Cyber-Physical Systems	Mitglied
Fachbereich LogiCS	Mitglied

Profil

Forschungsprofil (Deutsch):

Grundlagenforschung im Bereich künstliche Intelligenz, speziell Wissensrepräsentation und -verarbeitung, deklaratives Problemlösen, computationale Logik, logikbasierte Agenten und wissensbasierte Systeme.

Forschungsprofil (Englisch):

Basic research in artificial intelligence, in particular knowledge representation and Reasoning, declarative problem solving, computational logic, intelligent agents and knowledge-based systems.

Weitere Informationen:

Forschungsbereiche der Knowledge-Based Systems Group www.kr.tuwien.ac.at/research/index.html

URL des Lebenslaufes:

www.kr.tuwien.ac.at/staff/eiter/

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Intelligente Agenten	intelligent agents
Wissensrepräsentation und -verarbeitung	knowledge representation and reasoning
Logisches Programmieren	logic programming
Wissensbasierte Systeme	knowledge bases systems
Computationale Logik	Computational Logic

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Business Informatics	Mining und Warehousing von Daten, Wissensmanagement, Integrationstechnologien, Electronic / Mobile Commerce und E-Government, Services Science und Engineering, Interorganisationelle Geschäftsprozesse, Technikbewertung und soziale Netzwerke	10
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	90

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic
1122	Artificial Intelligence	Artificial intelligence

Referenzprojekte

Titel	Förderprogramm	Funktion	Webpage	Laufzeit von	Bis
National, FFG - österreichische Forschungsförderungsgesellschaft
Doctoral Program Logical Methods in Computer Science	Strukturprogramm		logic-cs.at/phd/	01.01.2014
TUW-intern, TU Wien
Mathematical Logic in Computer Science	Interne Forschungsförderung	Principal Investigator	www.dbai.tuwien.ac.at/drkolleg...	01.10.2010	01.07.2014

Internationale Auszeichnungen

Verleihende Organisation	Land	Programm	Name	Von
Association for Computing Machinery	Vereinigte St. v. Amerika	ACM Fellowship	ACM Fellow	23.12.2020
European Association for Artificial Intelligence	Deutschland	Fellowship of the European Association for Artificial Intelligence	EurAI Fellow	06.07.2006
Academia Europea (London)	Großbrit. u. Nordirland	Academia Europea (London) Membership	Member of Academia Europea (London)	24.05.2016
Asia-Pacific Artificial Intelligence Association	China		AAIA Fellow	13.03.2024
International Artificial Intelligence Industry Alliance	China	Industry Academy	AIIA Fellow	06.02.2025
Association for Logic Programming	Großbrit. u. Nordirland		Alan Robinson 20 Years Test of Time Award	15.07.2023
	Deutschland	14th Extended Semantic Web Conference (ESWC 2017), May 28 - June 1, 2017, Portoroz, Slovenia	Best Paper Award of the 14th Extended Semantic Web Conference (ESWC 2017)	01.06.2017
	Großbrit. u. Nordirland	34th International Conference on Logic Programming (ICLP 2018), July 14- 17, 2018, Oxford, UK	Best Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)	16.07.2018
	Deutschland	3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019, Bolzano, Italy	Best Paper of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)	19.09.2019
	Vereinigte St. v. Amerika	15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 3-7, 2019, Philadelphia, USA	Best Student Paper of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)	11.04.2019
	Großbrit. u. Nordirland	35th International Conference on Logic Programming (ICLP 2019), September 22-25, 2019, Las Cruces, New Mexico, USA	Best Systems Paper Award of the 35th International Conference on Logic Programming (ICLP 2019)	10.09.2019
	Vereinigte St. v. Amerika	17th International JointConference on Artificial Intelligence (IJCAI 2001), August 4-10, 2001, Seattle, U.S.A.	Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)	01.01.2001
	Kanada	18th National Conference on Artificial Intelligence (AAAI '02), July 28 -- August 1, 2002, Edmonton, Alberta (Canada)	Distinguished Paper Award of the 18th National Conference on Artificial Intelligence (AAAI '02)	01.01.2002
Association for Logic Programming	Großbrit. u. Nordirland	29th International Conference on Logic Programming (ICLP 2013), August 24-29, Istanbul, TurkeyURKEY	ICLP 2013 Test of the Time Award	19.04.2013
	Vereinigte St. v. Amerika	Office of Technology Liaison, University of Maryland	Invention of the Year 1999 Finalist (University of Maryland)	01.01.1999
International Conference on Principles of Knowledge Representation and Reasoning	Vereinigte St. v. Amerika		KR 2022 Test of Time Award	01.08.2022
Artificial Intelligence Journal	Vereinigte St. v. Amerika	Prominent Paper Award 2013	Prominent Paper Award 2013	12.06.2013

Nationale Auszeichnungen

Verleihende Organisation	Programm	Name	Von
Akademie der Wissenschaften	Mitgliedschaft	Full Member of the Austrian Academy of Sciences (ÖAW)	22.04.2022
Akademie der Wissenschaften	Mitgliedschaft	Corresponding Member of the Austrian Academy of Sciences (ÖAW)	27.04.2007
Stadt Wien	Vienna Content Award 2012 / Smart Cities	Vienna Content Award 2012 / Smart Cities (MyITS system prototype)	22.11.2012

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wiss. Beirat/Kuratorium/Institut	Alonzo Church Award	Vereinigte St. v. Amerika	Mitglied	11/2017 - 11/2021	Award jointly given by the ACM Special Interest Group on Logic (SIGLOG), the European Association for Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Goedel Society (KGS).Chair of the Committee in 2020.
wissenschaftliche Gesellschaft	Austrian Academy< of Science	Österreich	Mitglied	01/2007 -	Corresponding member
wiss. Beirat/Kuratorium/Institut	Award Committee '10 to watch in AI'	Vereinigte St. v. Amerika	Mitglied	07/2022 - 12/2022	Award given by the IEEE Intelligent Systems journal
wissenschaftliche Gesellschaft	European Coordinating Committee for Artificial Intelligence (ECCAI)	Belgien	Mitglied	01/2006 -	Fellow
wiss. Beirat/Kuratorium/Institut	IJCAI Awards Committee	Vereinigte St. v. Amerika	Mitglied	01/2020 -
	KR Inc.	Vereinigte St. v. Amerika		10/2010 -
	Komitee / Beirat des Bridge Program FFG	Österreich		11/2011 -
	Kuratorium des Wissenschaftsfonds FWF	Österreich		09/2005 - 09/2014
wissenschaftliche Gesellschaft	Kurt Gödel Society	Österreich	Vorständin/Vorstand	01/2007 -	Executive Board
	Prize Committee of the ECCAI Artificial Intelligence Dissertation Award	Belgien		01/2005 -
wissenschaftliche Gesellschaft	Prize Committee of the ECCAI Artificial Intelligence Dissertation Award	Belgien	Mitglied	01/1998 - 12/1998	Member
wissenschaftliche Gesellschaft	Prize-Committee of the IJCAI-JAIR Best Paper Prize 2005	Vereinigte St. v. Amerika	Mitglied	01/2005 - 12/2005	Member
wissenschaftliche Gesellschaft	Prize-Committee of the IJCAI-JAIR Best Paper Prize 2006	Vereinigte St. v. Amerika	Vorständin/Vorstand	01/2006 - 12/2006	Head of the Committee
	Vorstand der Kurt Gödel Society	Österreich		12/2009 -

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
Artificial Intelligence (AIJ)	SCI (Science Citation Index)	Ja	Associate Editor	12/2006 - 12/2014
Journal of Artificial Intelligence Research (JAIR)	SCI (Science Citation Index)	Ja	Editorial board	01/2004 - 12/2007	Advisory Board
Theory and Practice of Logic Programming (TPLP)	SCIE (Science Citation Index Expanded)	Ja	Editorial board	01/2010 - 12/2023	Area Editor
Journal of Automated Reasoning	SCI (Science Citation Index)	Ja	Associate Editor	01/2009 -
Artificial Intelligence Review	SCI (Science Citation Index)	Ja	Associate Editor	01/2015 -
Artificial Intelligence (AIJ)	SCI (Science Citation Index)	Ja	Editorial board	01/2007 - 12/2010
Computing	SCI (Science Citation Index)	Ja	Editor	01/2009 - 12/2010
DISDBIS Series on Dissertations on Databases and Information Systems (AKA Berlin)	unklassifiziert	Nein	Editorial board	01/2007 -
Fundamenta Informaticae	SCI (Science Citation Index)	Ja	Editor	01/2011 -
IEEE Transactions on Knowledge and Data Engineering	SCI (Science Citation Index)	Ja	Editorial board	09/1999 - 12/2003
Journal of Algorithms in Cognition, Informatics and Logic	SCI (Science Citation Index)	Ja	Editor	01/2008 - 12/2010
Journal of Artificial Intelligence Research (JAIR)	SCI (Science Citation Index)	Ja	Associate Editor	12/1996 - 12/2007
Journal of the Interest Group of Propositional Logic	unklassifiziert	Ja	Editor	01/2010 -
Theory and Practice of Logic Programming (TPLP)	SCIE (Science Citation Index Expanded)	Ja	Editorial board	01/2005 - 12/2007	Advisory Board

F&E Aktivitäten

Beschreibung	Von	Bis
Andere Kategorien
Organisation of the Third International Symposium on Foundations ofInformation and Knowledge Systems (FoIKS 2004), Hotel/CastleWilhelminenberg, Vienna (Austria), February 17 - 20, 2004.	02/2004	02/2004
PhD Prüfung Joost Vennekens an der Katholischen Universität Leuven/Belgien	05/2007	05/2007
Vorlesung an der Università della Calabria/Italien	04/2007	06/2007

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Fachtagung/Veranstaltung	Organisator_in	Dagstuhl Seminar 20071 "Foundations of Composite Event Recognition"	02/2020	02/2020
Postgraduale Lehrgänge/Summer School	Sonstiges		07/2005	07/2005	Vorlesung "Answer Set Programming" in der International Center for Computational Logic (ICCL) Summer School 2005
Wissenschaftliche Konferenz/Symposium	Organisator_in	International Joint Conference on Artificial Intelligence (IJCAI)	08/2019	08/2019	Conference Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	RR 2008	10/2008	11/2008	General Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	KR 2014	07/2014	07/2014	General Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	The 6th International Conference on Web Reasoning and Rule Systems (RR) 2012	09/2012	09/2012	Organisator
Wissenschaftliche Konferenz/Symposium	Organisator_in	Vienna Summer of Logic 2014	07/2014	07/2014	Organisator
Wissenschaftliche Konferenz/Symposium	Organisator_in	KI 2001	09/2001	09/2001	Organisator
Wissenschaftliche Konferenz/Symposium	Organisator_in	LPNMR 2001	09/2001	09/2001	Organisator und Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	Reasoning Web School 2012	09/2012	09/2012	Organisator und Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	FOIKS 2002	02/2002	02/2002	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 21)	05/2017	05/2017	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	KR 2012	06/2012	06/2012	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	DL 2013	07/2013	07/2013	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	ICLP 2015	08/2015	09/2015	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	ICDT 2005	01/2005	01/2005	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	RULE ML 2006	11/2006	11/2006	Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	ISWC 2008	10/2008	10/2008	Vice Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	ESWC 2009	05/2010	06/2010	Vice Program Chair