Follow
Stefan Wölfl
Stefan Wölfl
Unknown affiliation
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
GQR-A fast reasoner for binary qualitative constraint calculi
Z Gantner, M Westphal, S Wölfl
AAAI Workshop on Spatial and Temporal Reasoning, 2008
1022008
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
822011
Constraint satisfaction problems
B Nebel, S Wölfl
602009
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.
M Westphal, S Wölfl
IJCAI 2009, 628-633, 2009
582009
RCC8 is polynomial on networks of bounded treewidth
M Bodirsky, S Wölfl
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
422011
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
372009
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
372007
On Combinations of Binary Qualitative Constraint Calculi.
S Wölfl, M Westphal
IJCAI, 967-973, 2009
352009
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
312011
Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92)
B Nebel, C Rich, WR Swartout
Morgan Kaufmann Pub, 1992
301992
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
M Ragni, S Wölfl
KR 6, 472-480, 2006
272006
Qualitative constraint calculi: Heterogeneous verification of composition tables
S Wölfl, T Mossakowski, L Schröder
Dagstuhl Seminar Proceedings, 2007
242007
Propositional Q-Logic
S Wölfl
Journal of Philosophical Logic 31, 387-414, 2002
242002
Combinations of tense and modality for predicate logic
S Wölfl
Journal of Philosophical Logic 28, 371-398, 1999
241999
Temporalizing spatial calculi: On generalized neighborhood graphs
M Ragni, S Wölfl
Annual conference on artificial intelligence, 64-78, 2005
222005
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
18*2008
SailAway: Spatial Cognition in Sea Navigation.
D Wolter, F Dylla, S Wölfl, JO Wallgrün, L Frommberger, B Nebel, ...
Künstliche Intell. 22 (1), 28-30, 2008
162008
Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
M Westphal, J Hué, S Wölfl, B Nebel
IJCAI, 1169-1175, 2013
142013
Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
M Westphal, J Hué, S Wölfl, B Nebel
IJCAI, 1169-1175, 2013
142013
Qualitative action theory: A comparison of the semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap approach to agency
S Wölfl
European Workshop on Logics in Artificial Intelligence, 70-81, 2004
142004
The system can't perform the operation now. Try again later.
Articles 1–20