Boris Konev

3 papers · 2016–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10)

Conferences

IJCAI (2) JMLR (1)

Top co-authors

Frank Wolter (3) Michael Zakharyaschev (2) Carsten Lutz (2) Ana Ozaki (1) Marie Fortin (1) Vladislav Ryzhikov (1) Yury Savateev (1)

Keywords

query learning (1) membership query (1) ontology learning (1) description logic (1) linear temporal logic (1) equivalence query (1) exact learning (1) reverse engineering (1) temporal queries (1) ltl ontology (1)

Papers

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies IJCAI 2023

Exact Learning of Lightweight Description Logic Ontologies JMLR 2018

Conservative Rewritability of Description Logic TBoxes IJCAI 2016