Botoeva, Elena

6 publications

IJCAI 2024 Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

AAAI 2020 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

AAAI 2016 Beyond OWL 2 QL in OBDA: Rewritings and Approximations Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

IJCAI 2016 Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2015 When Are Description Logic Knowledge Bases Indistinguishable? Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2013 Exchanging OWL 2 QL Knowledge Bases Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov