General research interests are:
Besides other project activities (see below), I am the principal investigator of a project on Inconsistency Management for Knowledge-Integration Systems. This project is funded by the Vienna Science and Technology Fund (WWTF) within the Information and Communication Technology (ICT) Call 2008.
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
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 ). Publications up to and including 2010 can also be downloaded from my archive.