Elena Botoeva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IJCAI | Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. | Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell |
| 2023 | KR | Counterfactual Explanations and Model Multiplicity: a Relational Verification View. | Francesco Leofante, Elena Botoeva, Vineet Rajani |
| 2023 | NeSy | Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. | Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | AAAI | Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. | Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener |
| 2020 | KR | Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2018 | ICDT | Expressivity and Complexity of MongoDB Queries. | Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao |
| 2016 | AAAI | Beyond OWL 2 QL in OBDA: Rewritings and Approximations. | Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao |
| 2016 | IJCAI | Query-Based Entailment and Inseparability for ALC Ontologies. | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | IJCAI | When Are Description Logic Knowledge Bases Indistinguishable? | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | KR | Query Inseparability for Description Logic Knowledge Bases. | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2013 | IJCAI | Exchanging OWL 2 QL Knowledge Bases. | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov |
| 2012 | KR | Exchanging Description Logic Knowledge Bases. | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
| 2010 | AIMSA | Expressive Approximations in | Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro |