Stefan Wölfl
Stefan Wölfl
Unknown affiliation
Verified email at informatik.uni-freiburg.de
TitleCited byYear
GQR-A fast reasoner for binary qualitative constraint calculi
Z Gantner, M Westphal, S Wölfl
AAAI Workshop on Spatial and Temporal Reasoning, 2008
842008
Qualitative spatial and temporal reasoning: Emerging applications, trends, and directions
M Bhatt, H Guesgen, S Wölfl, S Hazarika
Spatial Cognition & Computation 11 (1), 1-14, 2011
632011
Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning
M Westphal, S Wölfl
Twenty-First International Joint Conference on Artificial Intelligence, 2009
412009
On combinations of binary qualitative constraint calculi
S Wölfl, M Westphal
Twenty-First International Joint Conference on Artificial Intelligence, 2009
332009
SailAway: Formalizing navigation rules
F Dylla, L Frommberger, JO Wallgrün, D Wolter, B Nebel, S Wölfl
In: Proceedings of the Artificial and Ambient Intelligence Symposium on …, 2007
332007
GQR: A Fast Solver for Binary Qualitative Constraint Networks.
M Westphal, S Wölfl, Z Gantner
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal …, 2009
322009
RCC8 is polynomial on networks of bounded treewidth
M Bodirsky, S Wölfl
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
312011
Guiding the generation of manipulation plans by qualitative spatial reasoning
M Westphal, C Dornhege, S Wölfl, M Gissler, B Nebel
Spatial Cognition & Computation 11 (1), 75-102, 2011
272011
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
M Ragni, S Wölfl
KR 6, 472-480, 2006
242006
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
S Wölfl, T Mossakowski, L Schröder
FLAIRS Conference, 665-670, 2007
212007
Combinations of tense and modality for predicate logic
S Wölfl
Journal of Philosophical Logic 28 (4), 371-398, 1999
211999
Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92)
B Nebel, C Rich
Morgan Kaufmann Pub, 1992
201992
Temporalizing spatial calculi: On generalized neighborhood graphs
M Ragni, S Wölfl
Annual Conference on Artificial Intelligence, 64-78, 2005
192005
Propositional Q-Logic
S Wölfl
Journal of Philosophical Logic 31 (5), 387-414, 2002
192002
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
C Freksa, NS Newcombe, P Gärdenfors, S Wölfl
Springer-Verlag, 2008
13*2008
Casl Specifications of Qualitative Calculi
S Wölfl, T Mossakowski
International Conference on Spatial Information Theory, 200-217, 2005
132005
Transition constraints: A study on the computational complexity of qualitative change
M Westphal, J Hué, S Wölfl, B Nebel
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
122013
Transition constraints: A study on the computational complexity of qualitative change
M Westphal, J Hué, S Wölfl, B Nebel
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
122013
Right-of-way rules as use case for integrating golog and qualitative reasoning
F Pommerening, S Wölfl, M Westphal
Annual Conference on Artificial Intelligence, 468-475, 2009
122009
SailAway: Spatial Cognition in Sea Navigation.
D Wolter, F Dylla, S Wölfl, JO Wallgrün, L Frommberger, B Nebel, ...
KI 22 (1), 28-30, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20