Dr. Stefan Wölfl
- Address:
- Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Georges-Köhler-Allee 52
79110 Freiburg, Germany
- Room:
- Building 052, Room 00-043
- Email:
- woelfl@informatik.uni-freiburg.de
- Phone:
- +49 761 203-8228
- Fax:
- +49 761 203-8222
- Homepage:
- http://www.informatik.uni-freiburg.de/~woelfl
Dr. Stefan Wölfl is member of the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg since April 2003. Currently he is working in 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
- Knowledge representation and reasoning
- Algebraic specification and formal verification