Combinations of Tense and Modality for Predicate Logic. - Stefan Wölfl 001 (J. Philos. Log., 1999)

Propositional Q-Logic. - Stefan Wölfl 001 (J. Philos. Log., 2002)

Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. - Stefan Wölfl 001 (JELIA, 2004)

Branching Allen. - Marco Ragni; Stefan Wölfl 001 (Spatial Cognition, 2004)

Casl Specifications of Qualitative Calculi. - Stefan Wölfl 001; Till Mossakowski (COSIT, 2005)

Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. - Marco Ragni; Stefan Wölfl 001 (KI, 2005)

Events in Branching Time. - Stefan Wölfl 001 (Stud Logica, 2005)

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. - Marco Ragni; Stefan Wölfl 001 (KR, 2006)

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. - Stefan Wölfl 001; Till Mossakowski; Lutz Schröder (FLAIRS, 2007)

Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. - Diedrich Wolter; Frank Dylla; Lutz Frommberger; Jan Oliver Wallgrün; Bernhard Nebel; Stefan Wölfl 001 (FLAIRS, 2007)

Reasoning about Topological and Positional Information in Dynamic Settings. - Marco Ragni; Stefan Wölfl 001 (FLAIRS, 2008)

Spatial Cognition 2008 - Call for Papers. - Stefan Wölfl 001 (Künstliche Intell., 2008)

SailAway: Spatial Cognition in Sea Navigation. - Diedrich Wolter; Frank Dylla; Stefan Wölfl 001; Jan Oliver Wallgrün; Lutz Frommberger; Bernhard Nebel; Christian Freksa (Künstliche Intell., 2008)

Organizing Committee. - Bernhard Nebel; Stefan Wölfl 001 (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Preface. - Bernhard Nebel; Stefan Wölfl 001 (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Confirming the QSR Promise. - Matthias Westphal; Stefan Wölfl 001 (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

GQR: A Fast Solver for Binary Qualitative Constraint Networks. - Matthias Westphal; Stefan Wölfl 001; Zeno Gantner (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. - Matthias Westphal; Stefan Wölfl 001 (IJCAI, 2009)

On Combinations of Binary Qualitative Constraint Calculi. - Stefan Wölfl 001; Matthias Westphal (IJCAI, 2009)

Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. - Florian Pommerening; Stefan Wölfl 001; Matthias Westphal (KI, 2009)

Reports of the AAAI 2009 Spring Symposia. - Jie Bao 001; Uldis Bojars; Tanzeem Choudhury; Li Ding 001; Mark Greaves; Ashish Kapoor; Sandy Louchart; Manish Mehta 001; Bernhard Nebel; Sergei Nirenburg; Tim Oates 001; David L. Roberts 001; et al. (AI Mag., 2009)

10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. - Stefan Wölfl 001; Anthony G. Cohn 001; Jochen Renz; Georg Sutcliffe (QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 2010)

A Qualitative Representation of Route Networks. - Jochen Renz; Stefan Wölfl 001 (ECAI, 2010)

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. - Matthias Westphal; Stefan Wölfl 001; Jason Jingshi Li (ECAI, 2010)

RCC8 Is Polynomial on Networks of Bounded Treewidth. - Manuel Bodirsky; Stefan Wölfl 001 (IJCAI, 2011)

On Qualitative Route Descriptions: Representation and Computational Complexity. - Matthias Westphal; Stefan Wölfl 001; Bernhard Nebel; Jochen Renz (IJCAI, 2011)

Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions. - Mehul Bhatt; Hans W. Guesgen; Stefan Wölfl 001; Shyamanta Moni Hazarika (Spatial Cogn. Comput., 2011)

Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. - Matthias Westphal; Christian Dornhege; Stefan Wölfl 001; Marc Gissler; Bernhard Nebel (Spatial Cogn. Comput., 2011)

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. - Julien Hué; Matthias Westphal; Stefan Wölfl 001 (ICTAI, 2012)

Wissensrepräsentation und -verarbeitung. - Bernhard Nebel; Stefan Wölfl 001 (Handbuch der Künstlichen Intelligenz, 2013)

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. - Matthias Westphal; Julien Hué; Stefan Wölfl 001 (ICTAI, 2013)

Transition Constraints: A Study on the Computational Complexity of Qualitative Change. - Matthias Westphal; Julien Hué; Stefan Wölfl 001; Bernhard Nebel (IJCAI, 2013)

Towards a New Semantics for Possibilistic Answer Sets. - Julien Hué; Matthias Westphal; Stefan Wölfl 001 (KI, 2014)

On the Scope of Qualitative Constraint Calculi. - Matthias Westphal; Julien Hué; Stefan Wölfl 001 (KI, 2014)

On Qualitative Route Descriptions. - Matthias Westphal; Stefan Wölfl 001; Bernhard Nebel; Jochen Renz (J. Philos. Log., 2015)

Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. - Matthias Hengel; Stefan Wölfl 001; Bernhard Nebel (Description Logics, 2016)

Wissensrepräsentation und -verarbeitung. - Bernhard Nebel; Stefan Wölfl 001 (Handbuch der Künstlichen Intelligenz, 2020)