Short CV
Dr. Stefan Wölfl received his master degree (M.A. in philosophy and mathematics, 1995) and his doctoral degree (Dr. phil., 1998) from the University of Regensburg. From September 1999 until August 2000, he was member of the research group Causation in the theory of branching time (headed by Franz von Kutschera) at the Department of Philosophy at the University of Regensburg. From March 2001 until February 2003, he was visiting fellow first at the Department of Philosophy at the University of Pittsburgh (PA, USA) and then at the Department of Mathematics at the University of Padova (Italy). In 2000, his dissertation was awarded the Wolfgang Stegmüller Preis (by the Gesellschaft für analytische Philosophie).
Since April 2003, he is member of the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg, headed by Bernhard Nebel. Currently he is working on the SFB/TR 8-project Constraint-Based Reasoning in Qualitative Spatio-Temporal Calculi (LogoSpace). From 2004 till 2008, he was postgraduate member of the DFG-Graduiertenkolleg Mathematical Logic and Application.
Academic Activities
Conference Organization
- Local Organizer of Spatial Cognition 2008
Workshops
- 2009 AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
- Qualitative Constraint Calculi: Integration and Application (co-located with KI 2006, jointly with Till Mossakowski)
Programme Commitee
- ECAI 2010
- Indian International Conference on Artificial Intelligence (IICAI-09)
- AAAI 2008
- Spatial Cognition 2008 (SC '08)
- ECAI 2006
- 3rd Workshop on Behaviour Monitoring and Interpretation (BMI '09)
- Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication (AISB 2007)
- Workshop on Behaviour Monitoring and Interpretation (30th German Conference on Artificial Intelligence, KI-2007)
Reviewing for Journals
- Journal of Philosophical Logic
- Synthese
- Erkenntnis
- Studia Logica
- Spatial Cognition and Computation (SCC Special Issue 5, 2005)
- Journal of Applied Logic
Reviewing for Conferences
- Advances in Modal Logic (AiML 2001, AiML 2004)
- German Conference on Artificial Intelligence (KI 2004, KI 2005, KI 2008)
- International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)
- International Joint Conference on Artificial Intelligence (IJCAI-05, IJCAI-07)
- Journées Européennes sur la Logique en Intelligence Artificielle (JELIA 2004)
- Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004)
- International Conference Spatial Cognition (SC '04, SC '06)
Recent seminars and lectures
- Constraint satisfaction problems (jointly with Prof. Dr. Bernhard Nebel, 2009/10, lecture)
- Projekt und Praktikum Grundlagen der KI
- Knowledge representation and reasoning (jointly with Prof. Dr. Bernhard Nebel and Dr. Malte Helmert, 2008, lecture)
- Constraint satisfaction problems (jointly with Dr. Malte Helmert, 2007, lecture)
- Knowledge representation and reasoning (jointly with Prof. Dr. Bernhard Nebel, 2005/06, lecture)
- Knowledge representation and reasoning (jointly with Prof. Dr. Bernhard Nebel and Dr. Jussi Rintanen, 2004/05, lecture)
- Modal logic -- theory and applications (jointly with Dr. Jussi Rintanen, 2003/04, lecture and tutorial)
