GQR-A fast reasoner for binary qualitative constraint calculi Z Gantner, M Westphal, S Wölfl AAAI Workshop on Spatial and Temporal Reasoning, 6, 2008 | 100 | 2008 |
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 | 81 | 2011 |
Constraint satisfaction problems B Nebel, S Wölfl | 60 | 2009 |
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. M Westphal, S Wölfl IJCAI 2009, 628-633, 2009 | 57 | 2009 |
RCC8 is polynomial on networks of bounded treewidth M Bodirsky, S Wölfl Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 42 | 2011 |
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 | 39 | 2009 |
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 | 36 | 2007 |
On Combinations of Binary Qualitative Constraint Calculi. S Wölfl, M Westphal IJCAI, 967-973, 2009 | 34 | 2009 |
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 | 32 | 2011 |
Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92) B Nebel, C Rich, WR Swartout Morgan Kaufmann Publishers, 1992 | 31 | 1992 |
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. M Ragni, S Wölfl KR 6, 472-480, 2006 | 26 | 2006 |
Combinations of tense and modality for predicate logic S Wölfl Journal of Philosophical Logic 28, 371-398, 1999 | 25 | 1999 |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. S Wölfl, T Mossakowski, L Schröder FLAIRS, 665-670, 2007 | 24 | 2007 |
Propositional Q-Logic S Wölfl Journal of Philosophical Logic 31, 387-414, 2002 | 24 | 2002 |
Temporalizing spatial calculi: On generalized neighborhood graphs M Ragni, S Wölfl Annual conference on artificial intelligence, 64-78, 2005 | 23 | 2005 |
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 | 16 | 2008 |
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. M Westphal, J Hué, S Wölfl, B Nebel IJCAI, 1169-1175, 2013 | 14 | 2013 |
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 | 14 | 2004 |
Branching Allen: Reasoning with intervals in branching time M Ragni, S Wölfl Spatial Cognition, Lecture Notes in Computer Science 3343, 2004 | 14 | 2004 |