Boris Konev

Cituota

	Visi	Nuo 2020
Šaltiniai	2576	680
h-rodyklė	28	16
i10-rodyklė	48	22

180

135

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 8 6 31 15 87 47 66 61 147 100 132 128 119 153 164 136 156 144 140 140 170 121 138 102 9

Viešas pasiekiamumas

Peržiūrėti viską

13 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Frank WolterDepartment of Computer Science, University of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterPatvirtintas el. paštas manchester.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigPatvirtintas el. paštas informatik.uni-leipzig.de
Clare DixonUniversity of ManchesterPatvirtintas el. paštas manchester.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterPatvirtintas el. paštas cs.man.ac.uk
Dirk WaltherDNV AS, NorwayPatvirtintas el. paštas dnv.com
Alexei LisitsaUniversity of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Stephan SchulzProfessor of Computer Science, DHBW StuttgartPatvirtintas el. paštas eprover.org
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonPatvirtintas el. paštas dcs.bbk.ac.uk
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, RomaniaPatvirtintas el. paštas JKU.AT
Roman KontchakovReader, Birkbeck, University of LondonPatvirtintas el. paštas dcs.bbk.ac.uk
Ana OzakiUniversity of Oslo & University of BergenPatvirtintas el. paštas uib.no
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonPatvirtintas el. paštas dcs.bbk.ac.uk
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityPatvirtintas el. paštas roosevelt.edu
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupPatvirtintas el. paštas liverpool.ac.uk
Edward A. HirschFull Professor, Department of Computer Science, Ariel UniversityPatvirtintas el. paštas ariel.ac.il
Yury SavateevSenior Lecturer, University of HertfordshirePatvirtintas el. paštas herts.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyPatvirtintas el. paštas uni-bremen.de
Andrei VoronkovThe University of Manchester; EasyChairPatvirtintas el. paštas cs.man.ac.uk

Stebėti

Boris Konev

Professor of Computer Science, Liverpool University

Patvirtintas el. paštas liverpool.ac.uk - Pagrindinis puslapis

Description logic temporal logic automated reasoning


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter International Joint Conference on Automated Reasoning, 259-274, 2008	161	2008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009	155	2009
Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009	141	2009
Semantic modularity and module extraction in description logics B Konev, C Lutz, D Walther, F Wolter ECAI 2008, 55-59, 2008	121	2008
Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013	117	2013
TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev International Conference on Automated Deduction, 274-278, 2003	116	2003
Restricting backtracking in connection calculi B Konev, RA Schmidt, S Schulz, J Otten Ai Communications 23 (2-3), 159-182, 2010	100	2010
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	93	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 KR, 2014	72	2014
Decomposing Description Logic Ontologies. B Konev, C Lutz, DK Ponomaryov, F Wolter KR, 2010	67	2010
Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006	65	2006
Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015	62	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
An application of automated reasoning in natural language question answering B Konev, RA Schmidt, S Schulz, U Furbach, I Glöckner, B Pelzer Ai Communications 23 (2-3), 241-265, 2010	57	2010
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	55	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	53	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	50	2005
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	38	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	37	2006

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai