• Welcome
• Curriculum
• Publications
• Teaching
• Contact

Publications

Monographs

• Kombinierte Zeit- und Modallogik: Vollständigkeitsresultate für prädikatenlogische Sprachen, Regensburger Dissertation, Logische Philosophie Bd. 5, Logos Verlag, Berlin, 1999. (Logos Verlag)
  Reviewed by Niko Strobach in Erkenntnis 55(1), 2001 (read), and by Bernhard Heinemann in Zentralblatt MATH (read)

Editions

• Franz von Kutschera and Alfred Breitkopf: Einführung in die moderne Logik, 7th edition 2000, 8th edition 2007

Workshop Proceedings

• Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, jointly with Till Mossakowski.
  Pdf-file

Journal Articles

• SailAway: Spatial Cognition in Sea Navigation, jointly with Diedrich Wolter, Frank Dylla, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, and Chrisitan Freksa. Künstliche Intelligenz 01/08, pp. 28-30.

• Events in branching time. Studia Logica 79(2), pp. 255-282, 2005.
  Pdf-file (©Springer)

• Propositional Q-logic. Journal of Philosophical Logic 31(5), pp. 387-414, 2002.
  Preprint, Pdf-file (©Springer, formerly Kluwer Academics)

• Combinations of tense and modality for predicate logic. Journal of Philosophical Logic 28(4), pp. 371-398, 1999.
  Pdf-File (©Springer, formerly Kluwer Academics)

Reviewed Conference Papers

• Reasoning about topological and positional information in dynamic settings, jointly with Marco Ragni. In Proceedings of the Twenty-First International FLAIRS Conference (2008), pp. 606-611, AAAI Press, 2008.
  

• Qualitative constraint calculi: Heterogeneous verification of composition tables, jointly with Till Mossakowski and Lutz Schröder. In D.C. Wilson and G.C.J. Sutcliffe (eds.) Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS-20), pp. 665-670, AAAI Press, 2007.
  Pdf-file (©AAAI)

• SailAway: Formalizing navigation rules, jointly with Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Diedrich Wolter, and Bernhard Nebel. In Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, AISB'07, 2007.

• Temporalizing cardinal directions: From constraint satisfaction to planning, jointly with Marco Ragni. In P. Doherty, J. Mylopoulos, and C. A. Welty (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference, KR2006, Lake District of the United Kingdom, June 2-5, 2006, pp. 472­-480. AAAI Press, 2006.
  Pdf-file (©AAAI)

• CASL specifications of qualitative calculi, jointly with Till Mossakowski. In Anthony G. Cohn and David M. Mark (eds.), Spatial Information Theory: International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings. Lecture Notes in Computer Science 3693, pp. 200-217, Springer, 2005.
  Pdf-file (©Springer)

• Temporalizing spatial calculi: On generalized neighborhood graphs, jointly with Marco Ragni. In Ulrich Furbach (ed.), Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings. Lecture Notes in Computer Science 3698, pp. 64-78, Springer, 2005.
  Pdf-file (©Springer)

• Branching Allen: Reasoning with intervals in branching time, jointly with Marco Ragni. In Spatial Cognition IV. Reasoning, Action, and Interaction: International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3343, pp. 323-343, Springer, 2004.
  Pdf-file (©Springer)

• Qualitative action theory: A comparison of the semantics of Alternating-time Temporal Logic and the Kutschera-Belnap approach to agency. In José Júlio Alferes and João Leite (eds.), Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. Lecture Notes in Computer Science 3229, pp. 70-81, Springer, 2004.
  Pdf-file (©Springer)

Workshop Papers

• GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, jointly with Zeno Gantner and Matthias Westphal. To appear in Workshop Proc. of the AAAI-08 Workshop on Spatial and Temporal Reasoning, Chicago, USA, AAAI, 2008.

• Qualitative constraint calculi: Heterogeneous verification of composition tables, jointly with Till Mossakowski and Lutz Schröder. In Anthony G. Cohn, Christian Freksa, and Bernhard Nebel (eds.), Spatial Cognition: Specialization and Integration, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007.

• A categorical perspective on qualitative constraint calculi, jointly with Till Mossakowski and Lutz Schröder. In: S. Wölfl and T. Mossakowski (eds.), Qualitative Constraint Calculi - Application and Integration, Workshop at KI 2006, pp. 28-39, 2006.
  Pdf-file

Reviews

• Review of Nuel Belnap, Michael Perloff, and Ming Xu's Facing the Future, Notre Dame Philosophical Reviews, 2002. NDPR

• Reviews for Zentralblatt MATH: Zbl 05182400

Manuscripts, Technical Reports, Theses

• The Heterogeneous Tool Set, jointly with Till Mossakowski, Christian Maeder and Klaus Lüttich. Submitted 2006.

• Modal logics: Theory and applications, jointly with Jussi Rintanen. Lecture notes, 150 pages, 2004. Pdf-file (may contain errors; feedback welcome)

• Was ist und was soll eine Handlungslogik, jointly with Franz von Kutschera. Final report on the DFG project Causality in the context of branching time, 85 pages, 2000. (Send me an email if you are interested in this German manuscript.)

My Erdös number is 4: Stefan Wölfl, Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös.