My research interests during my PhD, and afterwards, mainly included automated reasoning and real-time logics (quantitative modal logics dealing with time).
Since 2007 I have been working on knowledge representation and uncertainty management. In particular I have been interested in the logical properties resulting from the choice of weights in penalty logic.
Penalty logic offers an intuitive framework for knowledge, goal and preference representation. It is a natural and commonsense technique for handling potentially inconsistent beliefs. Its main quality is to provide a mechanism of compensation between several sources of inconsistency. Our results can be applied in various domains, such as social choice theory, preference representation and decision.
I also got interested recently in the modelling of uncertainty and risk taking for a dice game, Heckmeck am Bratwurmeck (Pickomino). This game provides a restricted and controlled framework to test diverse decision algorithms in a nondeterministic universe.
My publications can be found here.
Reviewer for
Member of organizing committees: