Dr. Stefan Wölfl - Curriculum
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 Service
Conference Organization
- Local Organizer of Spatial Cognition 2008
Workshops
- IJCAI-11 workshop: Benchmarks & Applications of Spatial Reasoning (jointly with Anthony G. Cohn and Jochen Renz)
- Dagstuhl Seminar 10412: QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning (jointly with Anthony G. Cohn, Jochen Renz, and Geoff Sutcliffe)
- 2009 AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
- Qualitative Constraint Calculi: Integration and Application (co-located with KI 2006, jointly with Till Mossakowski)
Programme Commitees
- Spatial Cognition 2012 (SC '12)
- AAAI-12
- KR 2012
- Terra Cognita 2011: Foundations, Technologies and Applications of the Geospatial Web
- KI 2011
- 6th Workshop on Behaviour Monitoring and Interpretation
- International Symposium on Temporal Representation and Reasoning (TIME 11)
- IJCAI 2011
- Artificial Intelligence and Logistics (AILog 2011)
- AAAI-11 Student Abstract and Poster Program
- ECAI 2010
- STAIRS 2010
- Artificial Intelligence and Logistics (AILog 2010)
- Spatio-Temporal Dynamics (STeDY 2010)
- International Workshop on the Implementation of Logics (IWIL 2010)
- Spatial Cognition 2010 (SC '10)
- Indian International Conference on Artificial Intelligence (IICAI-09)
- AAAI-08
- 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
- Constraints
- Erkenntnis
- Information Sciences
- Journal of Applied Logic
- Journal of Philosophical Logic
- Notre Dame Journal of Formal Logic
- Spatial Cognition and Computation
- Studia Logica
- Synthese
Reviewing for Conferences
- Advances in Modal Logic (AiML 2001, AiML 2004)
- Conference on Artificial Intelligence (AAAI-10)
- EACSL Annual Conference on Computer Science Logic (CSL 2010)
- German Conference on Artificial Intelligence (KI 2004, KI 2005, KI 2008, KI 2010)
- International Conference on Knowledge Science, Engineering & Management (KSEM 2010)
- International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010)
- International Conference on Principles of Knowledge Representation and Reasoning (KR 2006, KR 2010)
- International Conference Spatial Cognition (SC '04, SC '06)
- 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)
Recent seminars and lectures
- Einführung in die Modallogik (Introduction to modal logic) (2011, lecture)
- Automatenkonstruktionen im Model Checking (Automata construction and model checking) (jointly with Jan-Georg Smaus, 2011, seminar)
- Raumkognition (Spatial Cognition) (jointly with Wolfram Burgard, Jan Peters, and Marco Ragni, 2010/11, seminar)
- Knowledge representation and reasoning (jointly with Bernhard Nebel and Marco Ragni, 2010, lecture)
- Constraint satisfaction problems (jointly with Bernhard Nebel, 2009/10, lecture)
- Projekt und Praktikum Grundlagen der KI (2009, practical)
- Knowledge representation and reasoning (jointly with Bernhard Nebel and Malte Helmert, 2008, lecture)
- Constraint satisfaction problems (jointly with Malte Helmert, 2007, lecture)
- Knowledge representation and reasoning (jointly with Bernhard Nebel, 2005/06, lecture)
- Knowledge representation and reasoning (jointly with Bernhard Nebel and Jussi Rintanen, 2004/05, lecture)
- Modal logic -- theory and applications (jointly with Jussi Rintanen, 2003/04, lecture and tutorial)