Prof. Dr. Thomas Eiter

• 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

• 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 (FP7 231875 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-36504 WASP)
• Advanced Information Integration (IST-2001-33570 INFOMIX)
• The IMPACT project
• EU Network of Excellence on Computational Logic (IST-2001-33570 COLOGNET)

• Bilateral AI (FWF Cluster of Excellence, CoE 12)
• 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)
• 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)
• Answer Set Programming for the Semantic Web (FWF P17212)
• Formal Methods for Comparing and Optimizing Nonmonotonic Logic Programs (FWF P18019)
• Answer Set Programming for Reactive Planning and Execution Monitoring (FWF P16536)
• The DLV project (Supported by FWF)
• Declarative Planning 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)

• Most of my publications are registered on my page on the DBLP server.
• A complete (but not up to date) list is here available.
• Most of the papers are available in .pdf or .ps format (send mail to eiter at kr.tuwien.ac.at).
• Check also my publication archive, the KBS Groups Technical Reports ,
  my page on ResearchGate and for some of them.

• 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.

• ACM (Fellow), IEEE CS, Kurt Gödel Society
• Association for Logic Programming (President)
• AAAI (Executive Council), Austrian Society for Artificial Intelligence (ÖGAI)
• 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)