Frank Wolter

Cited by

	All	Since 2018
Citations	13816	3821
h-index	64	34
i10-index	176	103

840

420

210

630

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202361 65 85 75 165 216 205 301 350 446 643 596 706 735 666 702 737 831 802 710 671 615 736 706 582 666 509

Public access

View all

43 articles

1 article

available

not available

Based on funding mandates

Co-authors

Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Elena BotoevaUniversity of KentVerified email at kent.ac.uk
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
André HernichUniversity of LiverpoolVerified email at liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk

Frank Wolter

Department of Computer Science, University of Liverpool

Verified email at liverpool.ac.uk

Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev North Holland, 2003	915	2003
Handbook of modal logic J van Benthem, P Blackburn, F Wolter Elsevier, 2007	764*	2007
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	323	2004
Decidable fragments of first-order temporal logics I Hodkinson, F Wolter, M Zakharyaschev Annals of Pure and Applied logic 106 (1-3), 85-134, 2000	302	2000
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	297	2008
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	295	2006
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. C Lutz, D Toman, F Wolter IJCAI 9, 2070-2075, 2009	275	2009
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	260	2007
Properties of independently axiomatizable bimodal logics M Kracht, F Wolter The Journal of Symbolic Logic 56 (4), 1469-1485, 1991	249	1991
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP M Bienvenu, BT Cate, C Lutz, F Wolter ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014	238	2014
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	230	2005
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17, 239-251, 2002	224	2002
Spatio-temporal representation and reasoning based on RCC-8. F Wolter, M Zakharyaschev KR, 3-14, 2000	224	2000
The combined approach to query answering in DL-Lite R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev Twelfth International Conference on the Principles of Knowledge …, 2010	202	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	179	2011
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter arXiv preprint arXiv:1104.2825, 2011	177	2011
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	175	2010
Updating description logic ABoxes H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	166	2006
Temporalizing Description Logics. F Wolter, M Zakharyaschev FroCoS, 379-402, 1998	166	1998
The complexity of circumscription in DLs PA Bonatti, C Lutz, F Wolter Journal of Artificial Intelligence Research 35, 717-773, 2009	157	2009

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