Welcome
Welcome on my Homepage at the University of Freiburg. On this site you will find information on my research interests, publications, and further scientific activities.
Curriculum
Since April 2003, I am member of the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg. Currently I am working on the SFB/TR 8-project Constraint-Based Reasoning in Qualitative Spatio-Temporal Calculi (LogoSpace).
Research Interests
Constraint based spatial and temporal reasoning
Action theory and multi-agent systems
Modal and temporal logics
Ontology, ontologies, and description logics
Algebraic specification and formal verification
Model checking
Recent Publications
Temporalizing cardinal directions: From constraint satisfaction to planning, jointly with Marco Ragni. In Proceedings of KR 2006, AAAI Press, 2006.
Events in branching time. Studia Logica 79(2), 2005.
CASL specifications of qualitative calculi, jointly with Till Mossakowski. In Proceedings of COSIT'05, Springer, 2005.
Temporalizing spatial calculi: On generalized neighborhood graphs, jointly with Marco Ragni. In Proceedings of KI 2005, Springer, 2005.