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

• Humane AI
• 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)

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

• Some of my publications are registered at the DB&LP Bibliography Server.
• For a complete (but not up to date) list, see ( .ps) , (.pdf).
• Most of the papers are available in .ps or .pdf format (send mail to eiter at kr.tuwien.ac.at).
• Check my archive and the KBS Groups Technical Reports 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, Kurt Gödel Society (KGS)
• Austrian Society for Artificial Intelligence (ÖGAI),
  Fellow of the European Association for Artificial Intelligence (EurAI)
• Corresponding Member of the Austrian Academy of Sciences (ÖAW)
• Member of the Academia Europea (London)