Michael Zakharyaschev

Cited by

	All	Since 2018
Citations	12075	3434
h-index	55	29
i10-index	147	69

780

390

195

585

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202352 58 96 102 187 215 216 278 315 398 497 414 492 540 448 581 686 707 763 678 686 610 711 634 643 611 221

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.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
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Stanislav KikotLondon Metropolitan UniversityVerified email at londonmet.ac.uk
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Guohui XiaoAssociate Professor of Computer Science, University of Bergen, NorwayVerified email at uib.no
Vladimir PodolskiiSteklov mathematical Institute & NYUVerified email at mi-ras.ru
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
Mariano Rodriguez MuroOntologist and Manager at GoogleVerified email at google.com
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Elena BotoevaUniversity of KentVerified email at kent.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Elem Güzel KalaycıSenior Researcher, Virtual Vehicle Research GmbHVerified email at v2c2.at
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk

Michael Zakharyaschev

Birkbeck, University of London

Verified email at dcs.bbk.ac.uk - Homepage

Computer Science Logic Knowledge Representation Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modal Logic A Chagrov, M Zakharyaschev Clarendon Press, Oxford, 1997	1604	1997
Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev North Holland, 2003	882	2003
The DL-Lite family and relations A Artale, D Calvanese, R Kontchakov, M Zakharyaschev Journal of artificial intelligence research 36, 1-69, 2009	671	2009
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	322	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	296	2000
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	293	2006
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	286	2008
Ontology-based data access: A survey G Xiao, D Calvanese, R Kontchakov, D Lembo, A Poggi, R Rosati, ... International Joint Conferences on Artificial Intelligence, 2018	275	2018
Ontology-Based Data Access: Ontop of Databases M Rodriguez-Muro, R Kontchakov, M Zakharyaschev The Semantic Web–ISWC 2013: 12th International Semantic Web Conference …, 2013	223	2013
Spatio-temporal representation and reasoning based on RCC-8 M Zakharyaschev, F Wolter Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2000	221	2000
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	220	2002
The Combined Approach to Query Answering in DL-Lite. R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev KR 10, 247-257, 2010	200	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	176	2011
Temporalizing Description Logics. F Wolter, M Zakharyaschev FroCoS, 379-402, 1998	160	1998
A logic-based ontology comparison and module extraction, with an application to DL-Lite R Kontchakov, F Wolter, M Zakharyaschev Artificial Intelligence 174 (15), 1093-1141, 2010	144	2010
Answering SPARQL queries over databases under OWL 2 QL entailment regime R Kontchakov, M Rezk, M Rodriguez-Muro, G Xiao, M Zakharyaschev The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014	142	2014
Temporal Description Logics. A Artale, E Franconi Handbook of Temporal Reasoning in Artificial Intelligence 1, 375-388, 2005	142	2005
Reasoning over extended ER models A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev ER 7, 277-292, 2007	129	2007
Intuitionistic modal logic F Wolter, M Zakharyaschev Logic and Foundations of Mathematics: Selected Contributed Papers of the …, 1999	119	1999
Which kind of module should I extract? U Sattler, T Schneider, M Zakharyaschev Description Logics 477, 78, 2009	117	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