| The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter International Joint Conference on Automated Reasoning, 259-274, 2008 | 164 | 2008 |
| Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009 | 161 | 2009 |
| Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009 | 148 | 2009 |
| Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013 | 121 | 2013 |
| Semantic modularity and module extraction in description logics B Konev, C Lutz, D Walther, F Wolter ECAI 2008, 55-59, 2008 | 121 | 2008 |
| TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev International Conference on Automated Deduction, 274-278, 2003 | 120 | 2003 |
| Restricting backtracking in connection calculi J Otten Ai Communications 23 (2-3), 159-182, 2010 | 102 | 2010 |
| A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa International conference on theory and applications of satisfiability …, 2014 | 96 | 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 | 85 | 2012 |
| Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. M Ludwig, B Konev KR, 2014 | 78 | 2014 |
| SOLAR: An automated deduction system for consequence finding H Nabeshima, K Iwanuma, K Inoue, O Ray AI communications 23 (2-3), 183-203, 2010 | 76 | 2010 |
| Decomposing Description Logic Ontologies. B Konev, C Lutz, DK Ponomaryov, F Wolter KR, 2010 | 72 | 2010 |
| Monodic temporal resolution A Degtyarev, M Fisher, B Konev ACM Transactions on Computational Logic (TOCL) 7 (1), 108-150, 2006 | 67 | 2006 |
| Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015 | 63 | 2015 |
| TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov International Joint Conference on Automated Reasoning, 326-330, 2004 | 63 | 2004 |
| 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 | 59 | 2018 |
| An application of automated reasoning in natural language question answering U Furbach, I Glöckner, B Pelzer Ai Communications 23 (2-3), 241-265, 2010 | 57 | 2010 |
| 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 | 54 | 2016 |
| Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005 | 51 | 2005 |
| Large theory reasoning with SUMO at CASC A Pease, G Sutcliffe, N Siegel, S Trac Ai Communications 23 (2-3), 137-144, 2010 | 46 | 2010 |
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
