Stefan Wölfl

Publication Activity (10 Years)

Years Active: 1999-2016
Publications (10 Years): 1

Top Topics

Quantitative And Qualitative

Qualitative Spatial And Temporal Reasoning

Top Venues

Description Logics

J. Philos. Log.

Publications

Matthias Hengel, Stefan Wölfl, Bernhard Nebel
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. Description Logics (2016)
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
On Qualitative Route Descriptions. J. Philos. Log. 44 (2) (2015)
Julien Hué, Matthias Westphal, Stefan Wölfl
Towards a New Semantics for Possibilistic Answer Sets. KI (2014)
Matthias Westphal, Julien Hué, Stefan Wölfl
On the Scope of Qualitative Constraint Calculi. KI (2014)
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI (2013)
Matthias Westphal, Julien Hué, Stefan Wölfl
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. ICTAI (2013)
Julien Hué, Matthias Westphal, Stefan Wölfl
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. ICTAI (2012)
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI (2011)
Mehul Bhatt, Hans W. Guesgen, Stefan Wölfl, Shyamanta Moni Hazarika
Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions. Spatial Cogn. Comput. 11 (1) (2011)
Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. Spatial Cogn. Comput. 11 (1) (2011)
Manuel Bodirsky, Stefan Wölfl
RCC8 Is Polynomial on Networks of Bounded Treewidth. IJCAI (2011)
Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe
10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning (2010)
Jochen Renz, Stefan Wölfl
A Qualitative Representation of Route Networks. ECAI (2010)
Matthias Westphal, Stefan Wölfl, Jason Jingshi Li
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. ECAI (2010)
Matthias Westphal, Stefan Wölfl
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. IJCAI (2009)
Matthias Westphal, Stefan Wölfl, Zeno Gantner
GQR: A Fast Solver for Binary Qualitative Constraint Networks. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Florian Pommerening, Stefan Wölfl, Matthias Westphal
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. KI (2009)
Bernhard Nebel, Stefan Wölfl
Organizing Committee. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Jie Bao, Uldis Bojars, Tanzeem Choudhury, Li Ding, Mark Greaves, Ashish Kapoor, Sandy Louchart, Manish Mehta, Bernhard Nebel, Sergei Nirenburg, Tim Oates, David L. Roberts, Antonio Sanfilippo, Nenad Stojanovic, Kristen Stubbs, Andrea Lockerd Thomaz, Katherine M. Tsui, Stefan Wölfl
Reports of the AAAI 2009 Spring Symposia. AI Mag. 30 (3) (2009)
Stefan Wölfl, Matthias Westphal
On Combinations of Binary Qualitative Constraint Calculi. IJCAI (2009)
Matthias Westphal, Stefan Wölfl
Confirming the QSR Promise. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Bernhard Nebel, Stefan Wölfl
Preface. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Stefan Wölfl
Spatial Cognition 2008 - Call for Papers. Künstliche Intell. 22 (1) (2008)
Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, Christian Freksa
SailAway: Spatial Cognition in Sea Navigation. Künstliche Intell. 22 (1) (2008)
Marco Ragni, Stefan Wölfl
Reasoning about Topological and Positional Information in Dynamic Settings. FLAIRS Conference (2008)
Stefan Wölfl, Till Mossakowski, Lutz Schröder
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Conference (2007)
Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. FLAIRS Conference (2007)
Marco Ragni, Stefan Wölfl
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. KR (2006)
Stefan Wölfl
Events in Branching Time. Stud Logica 79 (2) (2005)
Stefan Wölfl, Till Mossakowski
Casl Specifications of Qualitative Calculi. COSIT (2005)
Stefan Wölfl, Till Mossakowski, Lutz Schröder
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration (2005)
Marco Ragni, Stefan Wölfl
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. KI (2005)
Stefan Wölfl
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. JELIA (2004)
Marco Ragni, Stefan Wölfl
Branching Allen. Spatial Cognition (2004)
Stefan Wölfl
-Logic. J. Philos. Log. 31 (5) (2002)
Stefan Wölfl
Combinations of Tense and Modality for Predicate Logic. J. Philos. Log. 28 (4) (1999)