Stefan Wölfl

Cited by

	All	Since 2020
Citations	877	134
h-index	16	7
i10-index	28	4

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420253 5 8 1 3 13 6 8 7 15 22 19 26 55 42 61 77 63 85 57 79 35 26 37 30 22 23 20 2

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Marco RagniTechnical University ChemnitzVerified email at hsw.tu-chemnitz.de
Julien HuéUniversité d'ArtoisVerified email at informatik.uni-freiburg.de
Diedrich WolterHybrid AI, University of Lübeck, GermanyVerified email at uni-luebeck.de
Lutz FrommbergerSahana Software FoundationVerified email at sahanafoundation.org
Zeno GantnerMetaVerified email at meta.com
Jan Oliver WallgrünIndependent researcher & lecturerVerified email at jan-oliver-wallgruen.info
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
Mehul BhattProfessor - Örebro University, Sweden - CoDesign Lab EUVerified email at oru.se
Shyamanta M. HazarikaProfessor, Mechanical Engineering and M F School of Data Sc. & AI, IIT Guwahati, INDIAVerified email at iitg.ac.in
Hans W. GuesgenProfessor of Computer Science, Massey University, New ZealandVerified email at massey.ac.nz
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Jochen RenzProfessor, Australian National UniversityVerified email at anu.edu.au
Nora S. NewcombeProfessor of Psychology, Temple UniversityVerified email at temple.edu
Peter GärdenforsSenior Professor of Cognitive Science at Lund University and Senior Research Associate, PalaeoVerified email at lucs.lu.se
Manuel BodirskyTU Dresden, Institut für AlgebraVerified email at tu-dresden.de
Florian PommereningUniversity of BaselVerified email at unibas.ch
Jason Jingshi LiIBM Data and AI, Australian Broadcasting CorporationVerified email at au1.ibm.com
Frank DyllaCordes & Graefe, Competence Center Lead Configuration Services

Stefan Wölfl

Unknown affiliation

Verified email at informatik.uni-freiburg.de

Artificial Intelligence Logic Modal Temporal Logic Spatial Reasoning


Title Sort by citations Sort by year Sort by 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, 6, 2008	99	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	88	2011
Constraint satisfaction problems B Nebel, S Wölfl	61	2009
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. M Westphal, S Wölfl IJCAI 2009, 628-633, 2009	58	2009
RCC8 is polynomial on networks of bounded treewidth M Bodirsky, S Wölfl IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011	44	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	40	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	30	1992
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. M Ragni, S Wölfl KR 6, 472-480, 2006	27	2006
Temporalizing spatial calculi: On generalized neighborhood graphs M Ragni, S Wölfl Annual conference on artificial intelligence, 64-78, 2005	25	2005
Propositional Q-Logic S Wölfl Journal of Philosophical Logic 31, 387-414, 2002	24	2002
Combinations of tense and modality for predicate logic S Wölfl Journal of Philosophical Logic 28, 371-398, 1999	24	1999
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. S Wölfl, T Mossakowski, L Schröder FLAIRS, 665-670, 2007	22	2007
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	20*	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	15	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors