Browse by People

Konev, B ORCID: 0000-0002-6507-0494, Lutz, C, Wolter, F and Zakharyaschev, M (2016) Conservative Rewritability of Description Logic TBoxes. In: Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, 2016-7-9 - 2016-7-15, New York.

Konev, B ORCID: 0000-0002-6507-0494, Lutz, C, Wolter, F and Zakharyaschev, M (2015) Conservative rewritability of description logic TBoxes: First results. In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.

Konev, B ORCID: 0000-0002-6507-0494, Ozaki, A and Wolter, F (2015) Exact learning description logic ontologies from data retrieval examples. In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.

Duarte, R, Konev, B ORCID: 0000-0002-6507-0494 and Ozaki, A (2018) Exact learning of EL ontologies. .

Gatens, WA (2017) Modularity Through Inseparability : Algorithms, Extensions, and Evaluation. PhD thesis, University of Liverpool.

Williams, R, Konev, B ORCID: 0000-0002-6507-0494 and Coenen, F ORCID: 0000-0003-1026-6649 (2014) Multi-agent environment exploration with AR.Drones. In: TAROS'14, Birmingham. (In Press)

Williams, RM (2017) Multi-robot Collaborative Visual Navigation with Micro Aerial Vehicles. PhD thesis, University of Liverpool.

Ludwig, M and Konev, B ORCID: 0000-0002-6507-0494 (2014) Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference. In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning.

Konev, B ORCID: 0000-0002-6507-0494, Urban, J and Rummer, P (2018) Preface. .

Fortin, M, Konev, B ORCID: 0000-0002-6507-0494, Ryzhikov, V, Savateev, Y, Wolter, F and Zakharyaschev, M (2022) Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps. .

Hannah, G ORCID: 0000-0002-3218-4559, Payne, TR ORCID: 0000-0002-0106-8731, Tamma, V ORCID: 0000-0002-1320-610X, Mitchell, A, Piercy, E and Konev, B ORCID: 0000-0002-6507-0494 (2023) Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents. In: The 18th International Workshop on Ontology Matching, 2023-11-7 - 2023-11-7, Athens, Greece.