Thomas Eiter
O.Univ.Prof. Dipl.-Ing. Dr.techn.
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