Boris Konev — accepted AI-conference papers

2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

IJCAI 2023poster

In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this query-by-example problem for queries formulated in positive f…

Cited by 7 Source ↗PDF ↗Scholar ↗

2015

Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles

Richard Williams, Boris Konev, Frans Coenen

IROS 2015poster

This paper describes work on a distributed framework for collaborative multi-robot localisation and mapping with large teams of Micro Aerial Vehicles (MAVs). We demonstrate the benefits of running both image capture and frame-to-frame tracking on the same device while offloading the more computation…

Cited by 9 Source ↗Scholar ↗