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

Projects

Distributed Heterogenous Stream Reasoning (FWF project);
Evaluation of ASP Programs with External Source Access (FWF project);
Inconsistency Management for Knowledge-Integration Systems (WWTF project, finished);
ONTOlogies meet Business RULEs (ONTORULE) (FP7 Integrated Project, finished);
Modular HEX-Programs (FWF project, finished);
Reasoning in Hybrid Knowledge Bases (FWF project, finished);
Knowledge-Based Information Integration (INFOMIX) (IST project, finished);
Answer Set Programming for Reactive Planning and Execution Monitoring (FWF project, finished);
A Declarative Planning System Based on Logic Programming (FWF project, finished);
Knowledge-Based Agents for Advanced Information Access (FWF project, finished).

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.

Publications