Contact
| Address: |
Institut für Informatik Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee, Geb. 052 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
