Boris Konev
Boris Konev
Professor of Computer Science, Liverpool University
Dirección de correo verificada de liverpool.ac.uk - Página principal
Título
Citado por
Citado por
Año
The logical difference problem for description logic terminologies
B Konev, D Walther, F Wolter
International Joint Conference on Automated Reasoning, 259-274, 2008
1272008
Formal properties of modularisation
B Konev, C Lutz, D Walther, F Wolter
Modular Ontologies, 25-66, 2009
119*2009
Semantic Modularity and Module Extraction in Description Logics.
B Konev, C Lutz, D Walther, F Wolter
ECAI, 55-59, 2008
1072008
Forgetting and uniform interpolation in large-scale description logic terminologies
B Konev, D Walther, F Wolter
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1062009
TRP++ 2.0: A temporal resolution prover
U Hustadt, B Konev
International Conference on Automated Deduction, 274-278, 2003
772003
A SAT attack on the Erdős discrepancy conjecture
B Konev, A Lisitsa
International conference on theory and applications of satisfiability …, 2014
672014
Model-theoretic inseparability and modularity of description logic ontologies
B Konev, C Lutz, D Walther, F Wolter
Artificial Intelligence 203, 66-103, 2013
652013
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
612012
TeMP: A temporal monodic prover
U Hustadt, B Konev, A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 326-330, 2004
532004
Monodic temporal resolution
A Degtyarev, M Fisher, B Konev
ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006
512006
Decomposing description logic ontologies
B Konev, C Lutz, D Ponomaryov, F Wolter
Twelfth International Conference on the Principles of Knowledge …, 2010
492010
Mechanising first-order temporal resolution
B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt
Information and Computation 199 (1-2), 55-86, 2005
462005
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
432014
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
332002
TRP++: A temporal resolution prover
U Hustadt, B Konev
na, 2002
332002
Tractable Temporal Reasoning.
C Dixon, M Fisher, B Konev
IJCAI 7, 318-323, 2007
312007
Monodic temporal resolution
A Degtyarev, M Fisher, B Konev
International Conference on Automated Deduction, 397-411, 2003
302003
Computer-aided proof of Erdős discrepancy properties
B Konev, A Lisitsa
Artificial Intelligence 224, 103-118, 2015
292015
Conjunctive query inseparability of OWL 2 QL TBoxes
B Konev, R Kontchakov, M Ludwig, T Schneider, F Wolter, ...
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
272011
On dynamic topological and metric logics
B Konev, R Kontchakov, F Wolter, M Zakharyaschev
Studia Logica 84 (1), 129-160, 2006
272006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20