Boris Konev

Cited by

	All	Since 2017
Citations	2002	653
h-index	25	15
i10-index	43	17

160

120

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120226 8 8 28 15 79 50 65 62 144 91 107 116 108 140 129 149 119 117 118 120 144 34

Public access

View all

11 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
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
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityVerified email at roosevelt.edu
Edward A. HirschResearch Lead, Steklov Institute of Mathematics at St.PetersburgVerified email at pdmi.ras.ru
Richard WilliamsUniversity of LiverpoolVerified email at liv.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVerified email at liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Ana OzakiUniversity of Bergen

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 International Joint Conference on Automated Reasoning, 259-274, 2008	149	2008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009	133	2009
Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies, 25-66, 2009	128	2009
Semantic Modularity and Module Extraction in Description Logics. B Konev, C Lutz, D Walther, F Wolter ECAI, 55-59, 2008	114	2008
Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013	93	2013
TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev International Conference on Automated Deduction, 274-278, 2003	85	2003
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa International conference on theory and applications of satisfiability …, 2014	78	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	74	2012
Decomposing Description Logic Ontologies. B Konev, C Lutz, DK Ponomaryov, F Wolter KR, 2010	60	2010
Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006	58	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	57	2014
TeMP: A temporal monodic prover U Hustadt, B Konev, A Riazanov, A Voronkov International Joint Conference on Automated Reasoning, 326-330, 2004	57	2004
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
Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015	48	2015
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	38	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 International Summer School, 27-89, 2016	37	2016
TRP++: A temporal resolution prover U Hustadt, B Konev na, 2002	34	2002
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	33	2002
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	32	2007
Monodic temporal resolution A Degtyarev, M Fisher, B Konev International Conference on Automated Deduction, 397-411, 2003	31	2003

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 this author

Cited by

Co-authors