Stefan Wölfl

Citata da

	Tutte	Dal 2019
Citazioni	868	150
Indice H	16	6
i10-index	27	4

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320243 4 8 1 3 13 7 8 7 15 22 19 27 58 40 69 71 63 85 58 78 36 26 36 29 23 24 12

Accesso pubblico

Visualizza tutto

22 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Bernhard NebelProfessor für Informatik, Universität FreiburgEmail verificata su uni-freiburg.de
Marco RagniTechnical University ChemnitzEmail verificata su hsw.tu-chemnitz.de
Julien HuéUniversité d'ArtoisEmail verificata su informatik.uni-freiburg.de
Diedrich WolterHybrid AI, University of Lübeck, GermanyEmail verificata su uni-luebeck.de
Lutz FrommbergerSahana Software FoundationEmail verificata su sahanafoundation.org
Zeno GantnerMetaEmail verificata su meta.com
Jan Oliver WallgrünIndependent researcher & lecturerEmail verificata su jan-oliver-wallgruen.info
Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
Mehul BhattProfessor - Örebro University, Sweden - CoDesign Lab EUEmail verificata su oru.se
Shyamanta M. HazarikaProfessor, Mechanical Engineering and M F School of Data Sc. & AI, IIT Guwahati, INDIAEmail verificata su iitg.ac.in
Hans W. GuesgenProfessor of Computer Science, Massey University, New ZealandEmail verificata su massey.ac.nz
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergEmail verificata su cs.fau.de
Jochen RenzProfessor, Australian National UniversityEmail verificata su anu.edu.au
Manuel BodirskyTU Dresden, Institut für AlgebraEmail verificata su tu-dresden.de
Nora S. NewcombeProfessor of Psychology, Temple UniversityEmail verificata su temple.edu
Peter GärdenforsSenior Professor of Cognitive Science at Lund University and Senior Research Associate, PalaeoEmail verificata su lucs.lu.se
Florian PommereningUniversity of BaselEmail verificata su unibas.ch
Jason Jingshi LiIBM Data and AI, Australian Broadcasting CorporationEmail verificata su au1.ibm.com
Frank DyllaCordes & Graefe, Competence Center Lead Configuration Services

Segui

Stefan Wölfl

Affiliazione sconosciuta

Email verificata su informatik.uni-freiburg.de

Artificial Intelligence Logic Modal Temporal Logic Spatial Reasoning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	82	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	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	37	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	19*	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori