Uni-Logo

Dr. Stefan Wölfl - Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2020

  • Bernhard Nebel und Stefan Wölfl.
    Wissensrepräsentation und -verarbeitung.
    In Günther Görz, Ute Schmid und Tanya Braun (Hrsg.), Handbuch der Künstlichen Intelligenz, 6. Auflage, S. 27-56. De Gruyter 2020.
    (Online; DOI)

2016

  • Matthias Hengel, Stefan Wölfl und Bernhard Nebel.
    Reasoning about general TBoxes with spatial and temporal constraints: Implementation and optimizations.
    In Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016.
    (Abstract einblenden) (PDF)

2015

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel und Jochen Renz.
    On qualitative route descriptions: Representation, agent models, and computational complexity.
    Journal of Philosophical Logic 44 (2), S. 177-201. 2015.
    (Abstract einblenden) (Online; DOI)

2014

  • Julien Hué, Matthias Westphal und Stefan Wölfl.
    Towards a new semantic for Possibilistic Answer Sets.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Abstract einblenden) (Springer Online; DOI) (DBLP)

  • Matthias Westphal, Julien Hué und Stefan Wölfl.
    On the scope of Qualitative Constraint Calculi.
    In Proceedings of Advances in Artificial Intelligence (KI'14). 2014.
    (Abstract einblenden) (Springer Online; DOI) (DBLP)

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

2013

  • Matthias Westphal, Julien Hué, Stefan Wölfl und Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13), S. 1169-1175. 2013.
    (Abstract einblenden) (Online; PDF) (DBLP)

  • Matthias Westphal, Julien Hué und 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.
    (Abstract einblenden) (PDF) (DOI) (DBLP) (Translation Script; TAR.GZ)

2012

  • Julien Hué, Matthias Westphal und Stefan Wölfl.
    An automatic decomposition method for qualitative spatial and temporal reasoning.
    In International Conference on Tools for Artificial Intelligence (ICTAI), S. 588-595. 2012.
    (Abstract einblenden) (PDF) (DBLP)

  • Stefan Wölfl (Hrsg.).
    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 und Stefan Wölfl (Hrsg.).
    Proceedings of the IJCAI-2011 Workshop on Benchmarks and Applications of Spatial Reasoning, Barcelona, Spain, July 17, 2011.
    2011.
    (PDF)

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

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

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

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

2010

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

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

2009

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

  • Matthias Westphal und 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.
    (Abstract einblenden) (PDF) (DBLP)

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

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

  • Matthias Westphal und 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.
    (Abstract einblenden) (PDF)

  • Matthias Westphal, Stefan Wölfl und 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.
    (Abstract einblenden) (PDF)

2008

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

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

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

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

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

  • Zeno Gantner, Matthias Westphal und 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.
    (Abstract einblenden) (PDF)

2007

  • Stefan Wölfl, Till Mossakowski und 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), S. 665-670. AAAI Press 2007.
    (Abstract einblenden) (PDF) (DBLP)

  • Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel und 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), S. 673-674. AAAI Press 2007.
    (Abstract einblenden) (PDF)

  • Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Diedrich Wolter, Bernhard Nebel und Stefan Wölfl.
    SailAway: Formalizing navigation rules.
    In Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication (AISB 2007). 2007.
    (Abstract einblenden) (PDF)

2006

  • Stefan Wölfl und 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 und Stefan Wölfl.
    A categorical perspective on qualitative constraint calculi.
    In Qualitative Constraint Calculi - Application and Integration, Workshop at KI 2006. 2006.
    (Abstract einblenden) (PDF)

  • Marco Ragni und 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 und Stefan Wölfl.
    Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.
    In Proceedings of the 28th Annual German Conference on AI (KI 2005), S. 64-78. 2005.
    (PDF)

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

  • Stefan Wölfl.
    Events in branching time.
    Studia Logica 79 (2), S. 255-282. 2005.
    (Abstract einblenden) (PDF) (DBLP)

2004

  • Marco Ragni und 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.
    (Abstract einblenden) (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 und J. Leite (Hrsg.), Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004). Springer-Verlag 2004.
    (Abstract einblenden) (PDF) (DBLP)

2002

  • Stefan Wölfl.
    Propositional Q-Logic.
    Journal of Philosophical Logic 31, S. 387-414. 2002.
    (Abstract einblenden) (PDF)

1999

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

  • Stefan Wölfl.
    Kombinierte Zeit- und Modallogik: Vollständigkeitsresultate für prädikatenlogische Sprachen.
    Band 5 von 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.