Boris Konev

Boris Konev

University of Liverpool - Liverpool / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435253
person_outline Boris Konev's MOST POPULAR ARTICLES
1-) The logical difference problem for description logic terminologiesB Konev, D Walther, F WolterInternational Joint Conference on Automated Reasoning, 259-274, 20081492008
2-) Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.B Konev, D Walther, F WolterIJCAI, 830-835, 20091352009
3-) Formal properties of modularisationB Konev, C Lutz, D Walther, F WolterModular Ontologies, 25-66, 20091312009
4-) TRP++ 2.0: A temporal resolution proverU Hustadt, B KonevInternational Conference on Automated Deduction, 274-278, 20031192003
5-) Semantic modularity and module extraction in description logicsB Konev, C Lutz, D Walther, F WolterECAI 2008, 55-59, 20081182008