My current research interests are with

• knowledge representation and reasoning
• computational logic
• algorithms and complexity in AI
• declarative problem solving
• nonmonotonic logic programming and databases
• reasoning about actions and change
• intelligent agents

Current and past project activities (selection)

International funding

• LogiCS@TUWien (MCSA COFUND grant #101034440, H2020-EU.1.3.4, H2020-EU.1.3)
• Humane AI (grant #820437, H2020-EU.1.2.3)
• AI4EU (grant #825619, H2020-EU.2.1.1)
• European_Masters_Program_in_Computational Logic (EMCL)
• ONTOlogies_meet_Business_RULEs (FP7231875 ONTORULE)
• EU Network of Excellence for REasoning on the WEb with Rules and SEmantics (IST-506779 REWERSE)
• EU Working Group in Answer Set Programming (IST 2001-37004 WASP)
• Advanced Information Integration (IST-2001-33570 INFOMIX)
• Software Agents in the IMPACT System
• EU Network of Excellence on Computational Logic (IST-2001-33570 COLOGNET)

National funding

• BILAI: Bilateral Artificial Intelligence (FWF CoE “Künstliche Intelligenz”, 10.55776/COE12)
• TAIGER: Training and Guiding AI Agents with Ethical Rules (WWTF ICT22-023)
• Dynamic Knowledge-Based (Re)configuration of CPS (FFG 861263)
• Lightweight Methods of KR/R for sensor-based Local TMS Service (FFG 5886550)
• Integrated Evaluation of Answer Set Programs and Extensions (FWF P27730)
• Doctoral Program Logical Methods in Computer Science (FWF W1255)
• Distributed Heterogenous Stream Reasoning (FWF P26471)
• Evaluation of ASP Programs with External Source Access (FWF P24090)
• Recursive Queries over Semantically Enriched Data Repositories (T515)
• MyITS: Personalized Intelligent Mobility Service (FFG P828897)
• Modular HEX-Programs (FWF P20841)
• Reasoning in Hybrid Knowledge Bases (FWF P20840)
• An Intelligent Image-Based Measurement System for Rock Fall Monitoring (FWF L514)
• Formal Methods for Comparing and Optimizing Nonmonotonic Logic Programs (FWF P18019)
• Answer Set Programming for the Semantic Web (FWF P17212)
• Answer Set Programming for Reactive Planning and Execution Monitoring (FWF P16536)
• The DLV project (Supported by FWF)
• A Declarative Planning System Based on Logic Programming (FWF P14781)
• A Theodolite-based and Knowledge-based Multi-Sensor-System (FWF P14664)
• Knowledge-Based Agents for Advanced Information Access (FWF P13871)

Publications

• Most of my publications are registered on my page on the DBLP server.
• A complete (but not up to date) list is here available.
• A majority of the papers are available in .pdf or .ps format (pls. contact me via mail).
• Check also my publication archive, the technical reports section, and my page on ResearchGate for some of them.

Teaching

• See our teaching and courses sections for my current courses and seminars.
• For praktika and theses, which may be started at any time to your convenience, please contact me or our secretary.

Memberships

• ACM (Fellow), IEEE CS, Kurt Gödel Society
• AAAI (Executive Council), Austrian Society for Artificial Intelligence (ASAI)
• Fellow of the European Association for Artificial Intelligence (EurAI)
• Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA)
• Member of the Austrian Academy of Sciences (ÖAW)
• Member of Academia Europea (London)

Roles

• Head of Research Unit

Contact

• thomas.eiter@tuwien.ac.at
• +43-1-58801-18460
• Favoritenstrasse 9-11, Room HG0311
• ORCID: 0000-0001-6003-6345