Elena Botoeva

According to our database, Elena Botoeva authored at least 42 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract).

Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems.

Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Counterfactual Explanations and Model Multiplicity: a Relational Verification View.

Francesco Leofante, Elena Botoeva, Vineet Rajani

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Formal verification of neural agents in non-deterministic environments.

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Auton. Agents Multi Agent Syst., 2022

2020

The Virtual Knowledge Graph System Ontop.

Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva

Proceedings of the Semantic Web - ISWC 2020, 2020

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

The Virtual Knowledge Graph System Ontop (Extended Abstract).

Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.

Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Ontology-based data access - Beyond relational sources.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao

Intelligenza Artificiale, 2019

Query inseparability for ALC ontologies.

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Artif. Intell., 2019

2018

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).

Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva

CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA.

Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva

Proceedings of the Semantic Web - ISWC 2018, 2018

Formalization and Complexity of MongoDB Queries (Extended Abstract).

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Expressivity and Complexity of MongoDB Queries.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao

Proceedings of the 21st International Conference on Database Theory, 2018

A Generalized Framework for Ontology-Based Data Access.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017

Formalizing MongoDB Queries.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.

Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

CoRR, 2016

A Formal Presentation of MongoDB (Extended Version).

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao

CoRR, 2016

Games for query inseparability of description logic knowledge bases.

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Artif. Intell., 2016

Knowledge base exchange: The case of OWL 2 QL.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When is Query Inseparability for ALC Ontologies Decidable?

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the 29th International Workshop on Description Logics, 2016

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.

Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

Proceedings of the 29th International Workshop on Description Logics, 2016

OBDA Beyond Relational DBs: A Study for MongoDB.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao

Proceedings of the 29th International Workshop on Description Logics, 2016

OBDA Over Non-Relational Databases.

Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Beyond OWL 2 QL in OBDA: Rewritings and Approximations.

Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version).

Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

CoRR, 2015

When Are Description Logic Knowledge Bases Indistinguishable?

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Query Inseparability for Description Logic Knowledge Bases.

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Query Inseparability by Games.

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Exchanging OWL 2 QL Knowledge Bases.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Proceedings of the IJCAI 2013, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Description Logic Knowledge Base Exchange.

Elena Botoeva

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Exchanging Description Logic Knowledge Bases.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Representability in DL-Lite_R Knowledge Base Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Knowledge Base Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Query Rewriting in DL-Lite_^(HN)_horn.

Elena Botoeva, Alessandro Artale, Diego Calvanese

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Expressive Approximations in <i>DL-Lite</i> Ontologies.

Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro

Proceedings of the Artificial Intelligence: Methodology, 2010

2006

UniCalc.LIN: a linear constraint solver for the UniCalc system

Evgueni Petrov, Yuri Kostov, Elena Botoeva

CoRR, 2006