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://gkiweb.informatik.uni-freiburg.de/~woelfl/Welcome.html |
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 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
-
Stefan Wölfl, Till Mossakowski and Lutz Schröder.
Qualitative constraint calculi: Heterogeneous verification of composition tables.
In Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007), pp. 665-670. AAAI Press 2007.
-
Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Diedrich Wolter, Berhard Nebel and Stefan Wölfl.
SailAway: Formalizing navigation rules.
In Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication (AISB 2007). 2007.
-
Till Mossakowski, Lutz Schroeder and Stefan Wölfl.
A categorical perspective on qualitative constraint calculi.
In Qualitative Constraint Calculi - Application and Integration, Workshop at KI 2006. 2006.
-
Marco Ragni and Stefan Wölfl.
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
In Proceedings of the Knowledge Representation Conference (KR 2006). 2006.
(PDF)
