Подписаться
Boris Konev
Boris Konev
Professor of Computer Science, Liverpool University
Подтвержден адрес электронной почты в домене liverpool.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
The logical difference problem for description logic terminologies
B Konev, D Walther, F Wolter
International Joint Conference on Automated Reasoning, 259-274, 2008
1612008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.
B Konev, D Walther, F Wolter
IJCAI, 830-835, 2009
1552009
Formal properties of modularisation
B Konev, C Lutz, D Walther, F Wolter
Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009
1412009
Semantic modularity and module extraction in description logics
B Konev, C Lutz, D Walther, F Wolter
ECAI 2008, 55-59, 2008
1212008
Model-theoretic inseparability and modularity of description logic ontologies
B Konev, C Lutz, D Walther, F Wolter
Artificial Intelligence 203, 66-103, 2013
1172013
TRP++ 2.0: A temporal resolution prover
U Hustadt, B Konev
International Conference on Automated Deduction, 274-278, 2003
1162003
Restricting backtracking in connection calculi
B Konev, RA Schmidt, S Schulz, J Otten
Ai Communications 23 (2-3), 159-182, 2010
1002010
A SAT attack on the Erdős discrepancy conjecture
B Konev, A Lisitsa
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
932014
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
822012
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.
M Ludwig, B Konev
KR, 2014
712014
Decomposing Description Logic Ontologies.
B Konev, C Lutz, DK Ponomaryov, F Wolter
KR, 2010
672010
Monodic temporal resolution
A Degtyarev, M Fisher, B Konev
ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006
652006
Computer-aided proof of Erdős discrepancy properties
B Konev, A Lisitsa
Artificial Intelligence 224, 103-118, 2015
622015
TeMP: A Temporal Monodic Prover
U Hustadt, B Konev, A Riazanov, A Voronkov
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
622004
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
572010
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
552018
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
532017
Mechanising first-order temporal resolution
B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt
Information and Computation 199 (1-2), 55-86, 2005
502005
Tractable Temporal Reasoning.
C Dixon, M Fisher, B Konev
IJCAI 7, 318-323, 2007
382007
Dynamic topological logics over spaces with continuous functions.
B Konev, R Kontchakov, F Wolter, M Zakharyaschev
Advances in modal logic 6, 299-318, 2006
372006
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20