Boris Konev

Cited by

	All	Since 2018
Citations	2106	635
h-index	26	15
i10-index	43	18

140

105

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 8 10 29 15 75 58 63 61 136 96 106 120 109 138 139 132 132 117 126 126 135 92 38

Public access

View all

10 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
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Dirk WaltherDNV AS, NorwayVerified email at dnv.com
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, RomaniaVerified email at JKU.AT
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityVerified email at roosevelt.edu
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVerified email at liverpool.ac.uk
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Edward A. HirschTechnionVerified email at technion.ac.il
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Alexandre RiazanovSoftware Development Engineer, Amazon Web ServicesVerified email at ipsnp.com
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Elena BotoevaUniversity of KentVerified email at kent.ac.uk

Boris Konev

Professor of Computer Science, Liverpool University

Verified email at liverpool.ac.uk - Homepage

Description logic temporal logic automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008	151	2008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009	136	2009
Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009	132	2009
Semantic Modularity and Module Extraction in Description Logics. B Konev, C Lutz, D Walther, F Wolter ECAI, 55-59, 2008	117	2008
Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013	101	2013
TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003	88	2003
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	84	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	76	2012
Decomposing Description Logic Ontologies. B Konev, C Lutz, DK Ponomaryov, F Wolter KR, 2010	64	2010
Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006	62	2006
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	59	2014
TeMP: A temporal monodic prover U Hustadt, B Konev, A Riazanov, A Voronkov IJCAR 4, 326-330, 2004	58	2004
Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015	55	2015
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	50	2005
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	43	2017
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	40	2018
A simplified clausal resolution procedure for propositional linear-time temporal logic A Degtyarev, M Fisher, B Konev Automated Reasoning with Analytic Tableaux and Related Methods …, 2002	35	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	34	2006
TRP++: A temporal resolution prover U Hustadt, B Konev na, 2002	34	2002
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	32	2007

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