Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Thomas Eiter >

Tools: Drucken


Prof. Dr. Thomas Eiter

Professor of Computer Science
Head of the Knowledge Based Systems Group
Head of the Institute of Logic and Computation
A picture of me
email: eiter at kr.tuwien.ac.at
Phone: +43 (1) 58 801-18460
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Office hours: by appointment

Research interests

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

National funding

Publications

Teaching

Memberships

  • 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)
  • Member of the Austrian Academy of Sciences (ÖAW)
  • Member of Academia Europea (London)

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.