Boris Konev

Citado por

	Total	Desde 2019
Citas	2297	711
Índice h	27	15
Índice i10	44	21

160

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 8 6 31 15 86 47 67 61 140 89 109 112 107 137 140 122 139 126 121 131 146 111 113 89

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Frank WolterDepartment of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigDirección de correo verificada de informatik.uni-leipzig.de
Clare DixonUniversity of ManchesterDirección de correo verificada de manchester.ac.uk
Dirk WaltherDNV AS, NorwayDirección de correo verificada de dnv.com
Alexei LisitsaUniversity of LiverpoolDirección de correo verificada de liverpool.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
Ana OzakiUniversity of Oslo & University of BergenDirección de correo verificada de uib.no
Renate A SchmidtSchool of Computer Science, The University of ManchesterDirección de correo verificada de cs.man.ac.uk
Roman KontchakovReader, Birkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, RomaniaDirección de correo verificada de JKU.AT
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonDirección de correo verificada de dcs.bbk.ac.uk
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityDirección de correo verificada de roosevelt.edu
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupDirección de correo verificada de liverpool.ac.uk
Edward A. HirschProfessor of Computer Science at Ariel UniversityDirección de correo verificada de ariel.ac.il
Yury SavateevSenior Lecturer, University of HertfordshireDirección de correo verificada de herts.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyDirección de correo verificada de uni-bremen.de
Andrei VoronkovThe University of Manchester; EasyChairDirección de correo verificada de cs.man.ac.uk
Alexandre RiazanovSoftware Development Engineer, Amazon Web ServicesDirección de correo verificada de ipsnp.com

Seguir

Boris Konev

Professor of Computer Science, Liverpool University

Dirección de correo verificada de liverpool.ac.uk - Página principal

Description logic temporal logic automated reasoning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter International Joint Conference on Automated Reasoning, 259-274, 2008	159	2008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009	148	2009
Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009	137	2009
TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev International Conference on Automated Deduction, 274-278, 2003	119	2003
Semantic modularity and module extraction in description logics B Konev, C Lutz, D Walther, F Wolter ECAI 2008, 55-59, 2008	118	2008
Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013	116	2013
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	94	2014
The logical difference for the lightweight description logic EL B Konev, M Ludwig, D Walther, F Wolter Journal of Artificial Intelligence Research 44, 633-708, 2012	82	2012
Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference M Ludwig, B Konev Fourteenth International Conference on the Principles of Knowledge …, 2014	69	2014
Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006	66	2006
Decomposing description logic ontologies B Konev, C Lutz, D Ponomaryov, F Wolter Twelfth International Conference on the Principles of Knowledge …, 2010	65	2010
Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015	64	2015
TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	62	2004
Exact learning of lightweight description logic ontologies B Konev, C Lutz, A Ozaki, F Wolter Journal of Machine Learning Research 18 (201), 1-63, 2018	53	2018
Inseparability and conservative extensions of description logic ontologies: A survey E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017	51	2017
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	49	2005
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	36	2007
A simplified clausal resolution procedure for propositional linear-time temporal logic A Degtyarev, M Fisher, B Konev International Conference on Automated Reasoning with Analytic Tableaux and …, 2002	36	2002
Dynamic topological logics over spaces with continuous functions. B Konev, R Kontchakov, F Wolter, M Zakharyaschev Advances in modal logic 6, 299-318, 2006	35	2006
Lower and upper approximations for depleting modules of description logic ontologies W Gatens, B Konev, F Wolter ECAI 2014, 345-350, 2014	34	2014

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores