Uni-Logo

Dr. Stefan Wölfl - Publications

(Show all abstracts) (Hide all abstracts)

2014

  • Julien Hué, Matthias Westphal and Stefan Wölfl.
    Towards a new semantic for Possibilistic Answer Sets.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Show abstract)

  • Matthias Westphal, Julien Hué and Stefan Wölfl.
    On the scope of Qualitative Constraint Calculi.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Show abstract)

  • Bernhard Nebel and Stefan Wölfl.
    Wissensrepräsentation und -verarbeitung.
    In Günther Görz, Josef Schneeberger and Ute Schmid (eds.), Handbuch der Künstlichen Intelligenz, pp. 105-128. Oldenbourg Verlag München 2014.

2013

  • Matthias Westphal, Julien Hué, Stefan Wölfl and Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13). 2013.
    (Show abstract)

  • Matthias Westphal, Julien Hué and Stefan Wölfl.
    On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
    In Proceedings of International Conference on Tools for Artificial Intelligence (ICTAI'13). 2013.
    (Show abstract) (Translation Script; TAR.GZ)

2012

  • Julien Hué, Matthias Westphal and Stefan Wölfl.
    An automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning.
    In Internation Conference on Tools for Artificial Intelligence (ICTAI), pp. 588-595. 2012.
    (Show abstract) (PDF)

  • Stefan Wölfl (ed.).
    Poster and Demo Track of the 35th German Conference on Artificial Intelligence (KI-2012), September 24-27, 2012, Saarbrücken, Germany.
    2012.
    (PDF)

2011

  • Anthony G. Cohn, Jochen Renz and Stefan Wölfl (eds.).
    Proceedings of the IJCAI-2011 Workshop on Benchmarks and Applications of Spatial Reasoning, Barcelona, Spain, July 17, 2011.
    2011.
    (PDF)

  • Manuel Bodirsky and Stefan Wölfl.
    RCC8 is Polynomial on Networks of Bounded Treewidth.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 756-761. AAAI Press 2011.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel and Jochen Renz.
    On Qualitative Route Descriptions: Representation and Computational Complexity.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1120-1125. AAAI Press 2011.
    (Show abstract) (PDF) (DBLP)

  • Mehul Bhatt, Hans Guesgen, Stefan Wölfl and Shyamanta Hazarika.
    Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), pp. 1-14. 2011.
    (DOI)

  • Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler and Bernhard Nebel.
    Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), pp. 75-102. 2011.
    (Show abstract) (DOI) (BIB)

2010

  • Jochen Renz and Stefan Wölfl.
    A Qualitative Representation of Route Networks.
    In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 1091-1092. IOS Press 2010.
    (DBLP)

  • Matthias Westphal, Stefan Wölfl and Jason Jingshi Li.
    Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.
    In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 1093-1094. IOS Press 2010.
    Also, see the follow up paper at KI 2012: Nogoods in Qualitative Constaint-based Reasoning.
    (Show abstract) (PDF) (DBLP)

2009

  • Florian Pommerening, Stefan Wölfl and Matthias Westphal.
    Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.
    In Bärbel Mertsching, Marcus Hund and Muhammad Zaheer Aziz (eds.), Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009), pp. 468-475. Springer-Verlag 2009.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal and Stefan Wölfl.
    Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
    (Show abstract) (PDF) (DBLP)

  • Stefan Wölfl and Matthias Westphal.
    On combinations of binary qualitative constraint calculi.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
    (Show abstract) (PDF) (DBLP)

  • Bernhard Nebel and Stefan Wölfl.
    Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
    2009.
    AAAI Technical Report SS-09-02.
    (AAAI)

  • Matthias Westphal and Stefan Wölfl.
    Confirming the QSR Promise.
    In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. 2009.
    AAAI Technical Report SS-09-02.
    (Show abstract) (PDF)

  • Matthias Westphal, Stefan Wölfl and Zeno Gantner.
    GQR: A Fast Solver for Binary Qualitative Constraint Networks.
    In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. 2009.
    AAAI Technical Report SS-09-02.
    (Show abstract) (PDF)

2008

  • Christian Freksa, Nora Newcombe, Peter Gärdenfors and Stefan Wölfl (eds.).
    Spatial Cognition VI: Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008 (SC '08), Freiburg, Germany, September 15-19, 2008.
    Volume 5248 of Lecture Notes in Artificial Intelligence.
    Springer 2008.
    (Springer) (DBLP)

  • Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel and Christian Freksa.
    SailAway: Spatial Cognition in Sea Navigation.
    Künstliche Intelligenz 08 (1), pp. 28-30. 2008.
    (DBLP)

  • Frank Dylla, Diedrich Wolter, Lutz Frommberger, Christian Freksa, Stefan Wölfl and Bernhard Nebel.
    Qualitative Methoden zur Steuerung von Agenten - SailAway: Raumkognition zur Steuerung von Schiffen.
    Industrie Management 4. 2008.
    (BIB)

  • Marco Ragni and Stefan Wölfl.
    Reasoning about topological and positional information in dynamic settings.
    In Proceedings of the Twenty-First International FLAIRS Conference (2008), pp. 606-611. 2008.
    (Show abstract) (PDF) (DBLP)

  • Matthias Westphal and Stefan Wölfl.
    Bipath Consistency Revisited.
    In Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning. Patras, Greece 2008.
    (Show abstract) (PDF)

  • Zeno Gantner, Matthias Westphal and Stefan Wölfl.
    GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi.
    In Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning. Chicago, USA 2008.
    (Show abstract) (PDF)

2007

  • 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.
    (Show abstract) (PDF) (DBLP)

  • Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel and Stefan Wölfl.
    Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
    In Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007), pp. 673-674. AAAI Press 2007.
    (DBLP)

  • 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.
    (Show abstract) (PDF)

2006

  • Stefan Wölfl and Till Mossakowski.
    Qualitative Constraint Calculi - Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.
    2006.
    (PDF)

  • 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.
    (Show abstract) (PDF)

  • 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)

2005

  • Marco Ragni and Stefan Wölfl.
    Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.
    In Proceedings of the 28th Annual German Conference on AI (KI 2005), pp. 64-78. 2005.
    (PDF)

  • Stefan Wölfl and Till Mossakowski.
    CASL specifications of qualitative calculi.
    In Spatial Information Theory: Cognitive and Computational Foundations, Proceedings of COSIT'05, pp. 200-217. 2005.
    (Show abstract) (PDF) (DBLP)

  • Stefan Wölfl.
    Events in branching time.
    Studia Logica 79 (2), pp. 255-282. 2005.
    (Show abstract) (PDF) (DBLP)

2004

  • Marco Ragni and Stefan Wölfl.
    Branching Allen: Reasoning with Intervals in Branching Time.
    In Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, 2004. Proceedings. Springer-Verlag 2004.
    (Show abstract) (PDF) (DBLP)

  • Stefan Wölfl.
    Qualitative action theory: A comparison of the semantics of Alternating-time Temporal Logic and the Kutschera-Belnap approach to agency.
    In J. J. Alferes and J. Leite (eds.), Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004). Springer-Verlag 2004.
    (Show abstract) (PDF) (DBLP)

2002

  • Stefan Wölfl.
    Propositional Q-Logic.
    Journal of Philosophical Logic 31, pp. 387-414. 2002.
    (Show abstract) (PDF)

1999

  • Stefan Wölfl.
    Combinations of tense and modality for predicate logic.
    Journal of Philosophical Logic 28, pp. 371-398. 1999.
    (Show abstract) (PDF)

  • Stefan Wölfl.
    Kombinierte Zeit- und Modallogik: Vollständigkeitsresultate für prädikatenlogische Sprachen.
    Volume 5 of Logische Philosophie.
    Logos Verlag, Berlin, Germany 1999.
    Dissertation Thesis.



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