Follow
Elena Botoeva
Title
Cited by
Cited by
Year
Efficient verification of relu-based neural networks via dependency analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3291-3299, 2020
762020
OBDA beyond relational DBs: A study for MongoDB
E Botoeva, D Calvanese, B Cogrel, M Rezk, G Xiao
CEUR Workshop Proceedings 1577, 2016
502016
The virtual knowledge graph system ontop
G Xiao, D Lanti, R Kontchakov, S Komla-Ebri, E Güzel-Kalaycı, L Ding, ...
International Semantic Web Conference, 259-277, 2020
482020
Inseparability and conservative extensions of description logic ontologies: A survey
E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Reasoning Web International Summer School, 27-89, 2016
392016
Efficient handling of SPARQL optional for OBDA
G Xiao, R Kontchakov, B Cogrel, D Calvanese, E Botoeva
International Semantic Web Conference, 354-373, 2018
352018
Exchanging description logic knowledge bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov, E Sherkhonov
Thirteenth International Conference on the Principles of Knowledge …, 2012
302012
Expressivity and complexity of MongoDB queries
E Botoeva, D Calvanese, B Cogrel, G Xiao
21st International Conference on Database Theory (ICDT 2018), 2018
292018
Expressive Approximations in DL-Lite Ontologies
E Botoeva, D Calvanese, M Rodriguez-Muro
International Conference on Artificial Intelligence: Methodology, Systems …, 2010
282010
Formal verification of neural agents in non-deterministic environments
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
Autonomous Agents and Multi-Agent Systems 36 (1), 1-36, 2022
232022
Games for query inseparability of description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence 234, 78-119, 2016
222016
Query inseparability for description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Fourteenth International Conference on the Principles of Knowledge …, 2014
202014
ARCH-COMP20 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants
TT Johnson, D Manzanas Lopez, P Musau, HD Tran, E Botoeva, ...
EPiC Series in Computing 74, 2020
182020
Exchanging OWL 2 QL knowledge bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov
arXiv preprint arXiv:1304.5810, 2013
182013
Knowledge base exchange
M Arenas, E Botoeva, D Calvanese
24th International Workshop on Description Logics 4, 2011
182011
A generalized framework for ontology-based data access
E Botoeva, D Calvanese, B Cogrel, J Corman, G Xiao
International Conference of the Italian Association for Artificial …, 2018
172018
Query inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence 272, 1-51, 2019
162019
Knowledge base exchange: The case of OWL 2 QL
M Arenas, E Botoeva, D Calvanese, V Ryzhikov
Artificial Intelligence 238, 11-62, 2016
162016
Beyond OWL 2 QL in OBDA: Rewritings and approximations
E Botoeva, D Calvanese, V Santarelli, D Savo, A Solimando, G Xiao
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
162016
Verifying strategic abilities of neural-symbolic multi-agent systems
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
Proceedings of the International Conference on Principles of Knowledge …, 2020
142020
Query-based entailment and inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
AAAI Press/International Joint Conferences on Artificial Intelligence, 2016
142016
The system can't perform the operation now. Try again later.
Articles 1–20