Frank Wolter

Cited by

	All	Since 2016
Citations	12064	3568
h-index	62	33
i10-index	169	95

820

410

205

615

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202160 57 87 77 154 222 198 283 348 440 633 602 716 721 660 713 716 805 777 780 658 633 726 769 1

Co-authors

Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Elena BotoevaImperial College LondonVerified email at imperial.ac.uk
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
André HernichUniversity of LiverpoolVerified email at liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
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
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


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	795	2003
Handbook of modal logic J van Benthem, P Blackburn, F Wolter Elsevier, 2007	652*	2007
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	308	2004
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	264	2006
Decidable fragments of first-order temporal logics I Hodkinson, F Wolter, M Zakharyaschev	263	2000
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	252	2008
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. C Lutz, D Toman, F Wolter IJCAI 9, 2070-2075, 2009	246	2009
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	236	2007
Properties of independently axiomatizable bimodal logics M Kracht, F Wolter The Journal of Symbolic Logic 56 (4), 1469-1485, 1991	229	1991
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	209	2005
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17 (3), 239-251, 2002	208	2002
Spatio-temporal representation and reasoning based on RCC-8. F Wolter, M Zakharyaschev KR, 3-14, 2000	208	2000
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	186	2014
The Combined Approach to Query Answering in DL-Lite. R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev KR 10, 247-257, 2010	183	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	157	2011
Updating Description Logic ABoxes. H Liu, C Lutz, M Milicic, F Wolter KR, 46-56, 2006	151	2006
Temporalizing description logics F Wolter, M Zakharyaschev Frontiers of Combining Systems 2, 379-402, 1999	148	1999
The complexity of circumscription in DLs PA Bonatti, C Lutz, F Wolter Journal of Artificial Intelligence Research 35, 717-773, 2009	144	2009
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	143	2010
Description Logics with Circumscription. PA Bonatti, C Lutz, F Wolter KR, 400-410, 2006	138	2006

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

Upload PDF

Follow this author

Cited by

Co-authors