![]() | Up a level |
Konev, B, 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-07-09 - 2016-07-15, New York.
Konev, B, Lutz, C, Wolter, F and Zakharyaschev, M
(2015)
Conservative rewritability of description logic TBoxes: First results.
.
Konev, B, Ozaki, A and Wolter, F
(2015)
Exact learning description logic ontologies from data retrieval examples.
.
Duarte, R, Konev, B 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 and Coenen, F ORCID: 0000-0003-1026-6649
(2014)
Multi-agent environment exploration with AR.Drones.
In: TAROS'14, Birmingham.
Williams, RM
(2017)
Multi-robot Collaborative Visual Navigation with Micro Aerial Vehicles.
PhD thesis, University of Liverpool.
Ludwig, M and Konev, B
(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, Urban, J and Rummer, P
(2018)
Preface.
.