Yevgeny Kazakov

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3649	743
indeks-h	30	13
indeks-i10	41	20

360

180

270

2006200720082009201020112012201320142015201620172018201920202021202220232024202511 79 164 185 197 216 254 325 341 279 231 208 186 171 185 127 184 117 118 12

Akses publik

Lihat semua

2 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Email yang diverifikasi di cs.ox.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterEmail yang diverifikasi di cs.man.ac.uk
Markus KrötzschTechnische Universität DresdenEmail yang diverifikasi di tu-dresden.de
Birte GlimmProf. of Computer Science, University of UlmEmail yang diverifikasi di uni-ulm.de
Pavel KlinovSenior Research Engineer, Complexible IncEmail yang diverifikasi di complexible.com
Boris MotikProfessor of Computer Science, Oxford UniversityEmail yang diverifikasi di cs.ox.ac.uk
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Email yang diverifikasi di de.bosch.com
Hans de NivelleNazarbayev University, Astana, KazakhstanEmail yang diverifikasi di nu.edu.kz
Ilianna KolliaNational Technical University of Athens,IBMEmail yang diverifikasi di mail.ntua.gr
Giorgos StamouProfessor of Computer Science, National Technical University of AthensEmail yang diverifikasi di cs.ntua.gr
Evgeny Zolin (Евгений Золин)Lomonosov Moscow State UniversityEmail yang diverifikasi di lpcs.math.msu.su
Carsten LutzProfessor of Computer Science, University of LeipzigEmail yang diverifikasi di informatik.uni-leipzig.de
Despoina MagkaUniversity of Oxford, Department of Computer ScienceEmail yang diverifikasi di cs.ox.ac.uk
Vincent DelaitrePhD student, Ecole Normale Supérieure, Paris, FranceEmail yang diverifikasi di ens.fr
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterEmail yang diverifikasi di cs.man.ac.uk

Ikuti

Yevgeny Kazakov

University of Ulm

Email yang diverifikasi di uni-ulm.de - Beranda

Artificial Intelligence Automated Reasoning Ontologies Semantic Web


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	559	2008
The Incredible ELK Y Kazakov, M Krötzsch, F Simančík Journal of Automated Reasoning 53 (1), 1-61, 2014	384	2014
Just the right amount: extracting modules from ontologies BC Grau, I Horrocks, Y Kazakov, U Sattler Proceedings of the 16th international conference on World Wide Web, 717-726, 2007	325	2007
Consequence-driven reasoning for Horn SHIQ ontologies Y Kazakov Proc. of IJCAI-09, 2040-2045, 2009	258*	2009
RIQ and SROIQ are Harder than SHOIQ Y Kazakov	250	2008
A logical framework for modularity of ontologies. B Cuenca Grau	226	2007
Concurrent Classification of EL Ontologies Y Kazakov, M Krötzsch, F Simančík The Semantic Web–ISWC 2011, 305-320, 2011	211	2011
Consequence-based reasoning beyond Horn ontologies F Simancík, Y Kazakov, I Horrocks Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011 …, 2011	126*	2011
ELK reasoner: architecture and evaluation. Y Kazakov, M Krötzsch, F Simancik ORE, 2012	112	2012
History matters: Incremental ontology reasoning using modules B Cuenca Grau, C Halaschek-Wiener, Y Kazakov International Semantic Web Conference, 183-196, 2007	89	2007
Extracting modules from ontologies: A logic-based approach B Cuenca Grau, I Horrocks, Y Kazakov, U Sattler Modular Ontologies, 159-186, 2009	87	2009
A Resolution-Based Decision Procedure for SHOIQ Y Kazakov, B Motik Journal of Automated Reasoning 40 (4), 357-357, 2008	85*	2008
Practical Reasoning with Nominals in the EL Family of Description Logics. Y Kazakov, M Krötzsch, F Simancik KR, 2012	69	2012
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment Y Kazakov	67	2006
Incremental classification of description logics ontologies B Cuenca Grau, C Halaschek-Wiener, Y Kazakov, B Suntisrivaraporn Journal of Automated Reasoning 44 (4), 337-369, 2010	55	2010
OWL reasoner evaluation (ORE) workshop 2013 results RS Gonçalves, S Bail, E Jiménez-Ruiz, N Matentzoglu, B Parsia, B Glimm, ... ORE, 1-18, 2013	48	2013
Tractable Extensions of the Description Logic EL with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Automated Reasoning, 61-75, 2010	46	2010
Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017	39	2017
Incremental Reasoning in OWL EL without Bookkeeping Y Kazakov, P Klinov The Semantic Web–ISWC 2013, 232-247, 2013	39	2013
How many legs do I have? Non-simple roles in number restrictions revisited Y Kazakov, U Sattler, E Zolin Logic for Programming, Artificial Intelligence, and Reasoning, 303-317, 2007	37	2007

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama