Boris Konev 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2253	669
h 指数	27	15
i10 指数	44	20

160

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 8 6 31 15 86 47 67 61 140 89 109 112 107 137 140 122 141 123 121 130 144 109 117 48

开放获取的出版物数量

查看全部

12 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Frank WolterDepartment of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Michael FisherProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Carsten LutzProfessor of Computer Science, University of Leipzig在 informatik.uni-leipzig.de 的电子邮件经过验证
Clare DixonUniversity of Manchester在 manchester.ac.uk 的电子邮件经过验证
Dirk WaltherDNV AS, Norway在 dnv.com 的电子邮件经过验证
Alexei LisitsaUniversity of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Ullrich HustadtReader, Department of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Michael ZakharyaschevBirkbeck, University of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Ana OzakiUniversity of Oslo & University of Bergen在 uib.no 的电子邮件经过验证
Renate A SchmidtSchool of Computer Science, The University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Roman KontchakovReader, Birkbeck, University of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, Romania在 JKU.AT 的电子邮件经过验证
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Evgeny DantsinProfessor of Computer Science, Roosevelt University在 roosevelt.edu 的电子邮件经过验证
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning Group在 liverpool.ac.uk 的电子邮件经过验证
Edward A. HirschProfessor of Computer Science at Ariel University在 ariel.ac.il 的电子邮件经过验证
Yury SavateevPostdoctoral researcher, University of Southampton在 soton.ac.uk 的电子邮件经过验证
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, Germany在 uni-bremen.de 的电子邮件经过验证
Andrei VoronkovThe University of Manchester; EasyChair在 cs.man.ac.uk 的电子邮件经过验证
Alexandre RiazanovSoftware Development Engineer, Amazon Web Services在 ipsnp.com 的电子邮件经过验证

关注

Boris Konev

Professor of Computer Science, Liverpool University

在 liverpool.ac.uk 的电子邮件经过验证 - 首页

Description logic temporal logic automated reasoning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter International Joint Conference on Automated Reasoning, 259-274, 2008	158	2008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009	145	2009
Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009	137	2009
Semantic modularity and module extraction in description logics B Konev, C Lutz, D Walther, F Wolter ECAI 2008, 55-59, 2008	117	2008
TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev International Conference on Automated Deduction, 274-278, 2003	117	2003
Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013	112	2013
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	92	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	66	2014
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
Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006	64	2006
TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	61	2004
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	50	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
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	47	2018
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
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	35	2007
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
Lower and upper approximations for depleting modules of description logic ontologies W Gatens, B Konev, F Wolter ECAI 2014, 345-350, 2014	33	2014

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用