Elena Botoeva - RankMe

52 papers A* 10A 2C 1Misc 1Journal 15Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Accessing Semistructured Data with KGs and LLMs. DL Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti
2025	J	`jnl`	Facial Age Estimation: A Research Roadmap for Technological and Legal Development and Deployment. CoRR Richard Guest, Eva Lievens, Martin Sas, Elena Botoeva, Temitope Adeyemo, Valerie Verdoodt, Elora Fernandes, Chris Allgrove
2025	J	`jnl`	Towards a Standard for JSON Document Databases. CoRR Elena Botoeva, Julien Corman
2024	—	`conf`	Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract). LNSAI@IJCAI Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2024	A*	`conf`	Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. IJCAI Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2023	A*	`conf`	Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR Francesco Leofante, Elena Botoeva, Vineet Rajani
2023	C	`conf`	Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2022	J	`jnl`	Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020	—	`conf`	ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020	A*	`conf`	Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
2020	A	`conf`	Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020	—	`ed.`	Semantic Technology - 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Proceedings JIST Xin Wang, Francesca Alessandra Lisi, Guohui Xiao, Elena Botoeva
2020	—	`ed.`	Semantic Technology - 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers JIST (2) Xin Wang, Francesca A. Lisi, Guohui Xiao, Elena Botoeva
2020	—	`conf`	The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020	—	`conf`	The Virtual Knowledge Graph System Ontop. ISWC (2) Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020	A*	`conf`	Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2019	J	`jnl`	Ontology-based data access - Beyond relational sources. Intelligenza Artificiale Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2019	J	`jnl`	Query Inseparability for ALC Ontologies. CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Query inseparability for ALC ontologies. Artif. Intell. Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018	—	`conf`	A Generalized Framework for Ontology-Based Data Access. AI*IA Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2018	J	`jnl`	Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018	—	`conf`	Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018	A	`conf`	Expressivity and Complexity of MongoDB Queries. ICDT Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018	—	`conf`	Formalization and Complexity of MongoDB Queries (Extended Abstract). SEBD Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018	J	`jnl`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017	—	`conf`	A Note on Computing Certain Answers to Queries over Incomplete Databases. AMW Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
2017	—	`conf`	Formalizing MongoDB Queries. AMW Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2016	J	`jnl`	A Formal Presentation of MongoDB (Extended Version). CoRR Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	A*	`conf`	Beyond OWL 2 QL in OBDA: Rewritings and Approximations. AAAI Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016	J	`jnl`	Games for query inseparability of description logic knowledge bases. Artif. Intell. Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	—	`conf`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2016	—	`conf`	OBDA Beyond Relational DBs: A Study for MongoDB. Description Logics Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	—	`conf`	OBDA Over Non-Relational Databases. AMW Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	J	`jnl`	Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	—	`conf`	Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. Description Logics Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016	—	`conf`	When is Query Inseparability for ALC Ontologies Decidable? Description Logics Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	J	`jnl`	Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version). CoRR Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2015	A*	`conf`	When Are Description Logic Knowledge Bases Indistinguishable? IJCAI Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	—	`conf`	Query Inseparability by Games. Description Logics Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	A*	`conf`	Query Inseparability for Description Logic Knowledge Bases. KR Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2013	—	`conf`	Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013	J	`jnl`	Exchanging OWL 2 QL Knowledge Bases CoRR Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013	A*	`conf`	Exchanging OWL 2 QL Knowledge Bases. IJCAI Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2012	—	`conf`	Description Logic Knowledge Base Exchange. RR Elena Botoeva
2012	A*	`conf`	Exchanging Description Logic Knowledge Bases. KR Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012	—	`conf`	Representability in DL-Lite_R Knowledge Base Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2011	—	`conf`	Knowledge Base Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese
2010	Misc	`conf`	Expressive Approximations in AIMSA Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro
2010	—	`conf`	Query Rewriting in DL-Lite_^(HN)_horn. Description Logics Elena Botoeva, Alessandro Artale, Diego Calvanese
2006	J	`jnl`	UniCalc.LIN: a linear constraint solver for the UniCalc system CoRR Evgueni Petrov, Yuri Kostov, Elena Botoeva