Skip to Content

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

Path: KBS > staff > michael fink > Personal   research   Teaching   Curriculum Vitae  

Tools: print

Michael Fink - Research

General research interests are:

  • Logic for Knowledge Rrepresentation and AI
  • Logic Programming and Nonmonotonic Reasoning
  • Computational Logic and Complexity
  • Information Integration and Databases
  • Intelligent Agents
  • Action Languages and Reasoning about Actions

Besides other project activities (see below), I have been the principal investigator of a project on Inconsistency Management for Knowledge-Integration Systems. This project has been funded by the Vienna Science and Technology Fund (WWTF) within the Information and Communication Technology (ICT) Call 2008.

Some of my early work on Uniform Equivalence of Logic Programs under the Stable Model Semantics recently received the 10 Years Test of Time Award at the 29th International Conference on Logic Programming (ICLP 2013). At the 24th International Conference on Logic Programming (ICLP 2008) my work on Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There has been awarded the best paper award.

The topic of my PhD thesis about "Declarative Logic-Programming Components for Information Agents" emerged from work within our project on Knowledge-Based Agents for Advanced Information Access, including the research of advanced methods for knowledge representation and reasoning using declarative logic programming, the development of strategies to deal with incomplete and inconsistent information, and the investigation of techniques for preference handling. For this work I have been awarded the Heinz Zemanek Award 2004 by the Austrian Computer Society.

I am a member of the Association for the Advancement of Artificial Intelligence (AAAI) and the Austrian Society for Artificial Intelligence (in German).


We are always looking for students joining our projects for a practical work or a diploma thesis. In case of interest, just contact me for details.


Some of my publications are registered at the DBLP Bibliography Server.
Another partial list of publications and talks (since 2002; not always up to date) is dynamically generated from the Publication Database of the Faculty of Informatics at the Vienna University of Technology. For a complete (but also not always up to date) list, see (.ps.gz), or (.pdf).

Most publications are available as postscript or pdf files and can be retrieved online (or by dropping an email to email). Publications up to and including 2010 can also be downloaded from my archive.


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.