Stefan Wölfl

40 papers A* 6A 2B 3Misc 7Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — ch.
Wissensrepräsentation und -verarbeitung.
Handbuch der Künstlichen Intelligenz
Bernhard Nebel, Stefan Wölfl
2016 — conf
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations.
Description Logics
Matthias Hengel, Stefan Wölfl, Bernhard Nebel
2015 J jnl
On Qualitative Route Descriptions.
J. Philos. Log.
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
2014 Misc conf
On the Scope of Qualitative Constraint Calculi.
KI
Matthias Westphal, Julien Hué, Stefan Wölfl
2014 Misc conf
Towards a New Semantics for Possibilistic Answer Sets.
KI
Julien Hué, Matthias Westphal, Stefan Wölfl
2013 B conf
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
ICTAI
Matthias Westphal, Julien Hué, Stefan Wölfl
2013 A* conf
Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
IJCAI
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
2013 — ch.
Wissensrepräsentation und -verarbeitung.
Handbuch der Künstlichen Intelligenz
Bernhard Nebel, Stefan Wölfl
2012 B conf
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning.
ICTAI
Julien Hué, Matthias Westphal, Stefan Wölfl
2011 J jnl
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
Spatial Cogn. Comput.
Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel
2011 A* conf
On Qualitative Route Descriptions: Representation and Computational Complexity.
IJCAI
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
2011 J jnl
Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions.
Spatial Cogn. Comput.
Mehul Bhatt, Hans W. Guesgen, Stefan Wölfl, Shyamanta Moni Hazarika
2011 A* conf
RCC8 Is Polynomial on Networks of Bounded Treewidth.
IJCAI
Manuel Bodirsky, Stefan Wölfl
2010 — conf
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
Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe
2010 A conf
A Qualitative Representation of Route Networks.
ECAI
Jochen Renz, Stefan Wölfl
2010 — ed.
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe
2010 A conf
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.
ECAI
Matthias Westphal, Stefan Wölfl, Jason Jingshi Li
2009 — conf
Confirming the QSR Promise.
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
Matthias Westphal, Stefan Wölfl
2009 — conf
GQR: A Fast Solver for Binary Qualitative Constraint Networks.
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
Matthias Westphal, Stefan Wölfl, Zeno Gantner
2009 A* conf
On Combinations of Binary Qualitative Constraint Calculi.
IJCAI
Stefan Wölfl, Matthias Westphal
2009 — conf
Organizing Committee.
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
Bernhard Nebel, Stefan Wölfl
2009 — conf
Preface.
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
Bernhard Nebel, Stefan Wölfl
2009 A* conf
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.
IJCAI
Matthias Westphal, Stefan Wölfl
2009 J jnl
Reports of the AAAI 2009 Spring Symposia.
AI Mag.
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
2009 Misc conf
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.
KI
Florian Pommerening, Stefan Wölfl, Matthias Westphal
2008 Misc conf
Reasoning about Topological and Positional Information in Dynamic Settings.
FLAIRS
Marco Ragni, Stefan Wölfl
2008 J jnl
SailAway: Spatial Cognition in Sea Navigation.
Künstliche Intell.
Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, Christian Freksa
2008 J jnl
Spatial Cognition 2008 - Call for Papers.
Künstliche Intell.
Stefan Wölfl
2008 — ed.
Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
Spatial Cognition
Christian Freksa, Nora S. Newcombe, Peter Gärdenfors, Stefan Wölfl
2007 Misc conf
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
FLAIRS
Stefan Wölfl, Till Mossakowski, Lutz Schröder
2007 Misc conf
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
FLAIRS
Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl
2006 A* conf
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
KR
Marco Ragni, Stefan Wölfl
2005 — conf
Casl Specifications of Qualitative Calculi.
COSIT
Stefan Wölfl, Till Mossakowski
2005 J jnl
Events in Branching Time.
Stud Logica
Stefan Wölfl
2005 — conf
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Spatial Cognition: Specialization and Integration
Stefan Wölfl, Till Mossakowski, Lutz Schröder
2005 Misc conf
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.
KI
Marco Ragni, Stefan Wölfl
2004 — conf
Branching Allen.
Spatial Cognition
Marco Ragni, Stefan Wölfl
2004 B conf
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.
JELIA
Stefan Wölfl
2002 J jnl
Propositional
J. Philos. Log.
Stefan Wölfl
1999 J jnl
Combinations of Tense and Modality for Predicate Logic.
J. Philos. Log.
Stefan Wölfl