Skip to main content

Items where Author, Editor or other role is "Botoeva, Elena"

Group by: Creator's name | Item Type | Date | No Grouping
Number of items: 32.

Akintunde, Michael E., Botoeva, Elena, Kouvaros, Panagiotis, Lomuscio, Alessio (2021) Formal verification of neural agents in non-deterministic environments. Autonomous Agents and Multi-Agent Systems, 36 (1). Article Number 6. ISSN 1387-2532. E-ISSN 1573-7454. (doi:10.1007/s10458-021-09529-3) (KAR id:92680)
Format: PDF

Xiao, Guohui, Lanti, Davide, Kontchakov, Roman, Komla-Ebri, Sarah, Kalayci, Elem G\"zel, Ding, Linfang, Corman, Julien, Cogrel, Benjamin, Calvanese, Diego, Botoeva, Elena and others. (2020) The Virtual Knowledge Graph System Ontop. In: The Semantic Web – ISWC 2020 - 19th International Semantic Web Conference. The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference Part II. Lecture Notes in Computer Science , 12507. pp. 259-277. Springer ISBN 978-3-030-62418-7. E-ISBN 978-3-030-62419-4. (doi:10.1007/978-3-030-62466-8_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90817)

Akintunde, Michael E., Botoeva, Elena, Kouvaros, Panagiotis, Lomuscio, Alessio (2020) Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. . pp. 22-32. International Joint Conferences on Artificial Intelligence Organization ISBN 978-0-9992411-7-2. (doi:10.24963/kr.2020/3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90813)

Botoeva, Elena, Kouvaros, Panagiotis, Kronqvist, Jan, Lomuscio, Alessio, Misener, Ruth (2020) Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI-20 Technical Tracks , 34 (04). pp. 3291-3299. AAAI Press ISBN 978-1-57735-835-0. (doi:10.1609/aaai.v34i04.5729) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90815)

Akintunde, Michael E., Botoeva, Elena, Kouvaros, Panagiotis, Lomuscio, Alessio (2020) Formal Verification of Neural Agents in Non-deterministic Environments. In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20,. . pp. 25-33. International Foundation for Autonomous Agents and Multiagent Systems ISBN 978-1-4503-7518-4. (doi:10.5555/3398761.3398770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90814)

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Corman, Julien, Xiao, Guohui, Ghidini, Chiara, Magnini, Bernardo, Passerini, Andrea (2019) Ontology-based data access – Beyond relational sources. Intelligenza Artificiale, 13 (1). pp. 21-36. ISSN 1724-8035. E-ISSN 2211-0097. (doi:10.3233/IA-190023) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90809)

Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2019) Query inseparability for \(ALC\) ontologies. Artificial Intelligence, 272 . pp. 1-51. ISSN 0004-3702. (doi:10.1016/j.artint.2018.09.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90808)

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Corman, Julien, Xiao, Guohui (2018) A Generalized Framework for Ontology-Based Data Access. In: AI*IA 2018 – Advances in Artificial Intelligence, XVIIth International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Computer Science , 11298. pp. 166-180. Springer ISBN 978-3-030-03839-7. E-ISBN 978-3-030-03840-3. (doi:10.1007/978-3-030-03840-3_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91263)

Xiao, Guohui, Kontchakov, Roman, Cogrel, Benjamin, Calvanese, Diego, Botoeva, Elena (2018) Efficient Handling of SPARQL OPTIONAL for OBDA. In: The Semantic Web - ISWC 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I. Lecture Notes in Computer Science , 11136. pp. 354-373. Springer ISBN 978-3-030-00670-9. E-ISBN 978-3-030-00671-6. (doi:10.1007/978-3-030-00671-6_21) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91264)

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Xiao, Guohui (2018) Expressivity and Complexity of MongoDB Queries. In: Leibniz International Proceedings in Informatics. 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. LIPIcs , 98. 9:1-9:23. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany ISBN 978-3-95977-063-7. (doi:10.4230/LIPIcs.ICDT.2018.9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91266)

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Xiao, Guohui (2017) Formalizing MongoDB Queries. In: CEUR Workshop Proceedings. Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017. 1912. CEUR-WS.org (KAR id:91297)
Format: PDF

Arenas, Marcelo, Botoeva, Elena, Kostylev, Egor V., Ryzhikov, Vladislav (2017) A Note on Computing Certain Answers to Queries over Incomplete Databases. In: CEUR Workshop Proceedings. Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017. 1912. CEUR-WS.org (KAR id:91296)
Format: PDF

Botoeva, Elena and Konev, Boris and Lutz, Carsten and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael (2017) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. In: Pan, Jeff Z. and Calvanese, Diego and Eiter, Thomas and Horrocks, Ian and Kifer, Michael and Lin, Fangzhen and Zhao, Yuting, eds. Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science, 9885 . Springer, Cham, Switzerland, pp. 27-89. ISBN 978-3-319-49492-0. E-ISBN 978-3-319-49493-7. (doi:10.1007/978-3-319-49493-7_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90807)

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav (2016) Knowledge base exchange: The case of OWL 2 QL. Artificial Intelligence, 238 . pp. 11-62. ISSN 0004-3702. (doi:10.1016/j.artint.2016.05.002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90811)

Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2016) Query-Based Entailment and Inseparability for ALC Ontologies. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016. . pp. 1001-1007. IJCAI/AAAI Press ISBN 978-1-57735-770-4. E-ISBN 978-1-57735-771-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91268)

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Rezk, Martin, Xiao, Guohui (2016) OBDA Over Non-Relational Databases. In: CEUR Workshop Proceedings. Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management. 1644. CEUR-WS.org (KAR id:91301)
Format: PDF

Botoeva, Elena, Kontchakov, Roman, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2016) Games for query inseparability of description logic knowledge bases. Artificial Intelligence, 234 . pp. 78-119. ISSN 0004-3702. (doi:10.1016/j.artint.2016.01.010) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90810)

Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2016) Is Query Inseparability for ALC Ontologies Decidable? In: CEUR Workshop Proceedings. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings , 1577. CEUR-WS.org (KAR id:91267)
Format: PDF

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Rezk, Martin, Xiao, Guohui (2016) OBDA Beyond Relational DBs: A Study for MongoDB. In: CEUR Workshop Proceedings. 1577. CEUR-WS.org (KAR id:91300)
Format: PDF

Botoeva, Elena, Calvanese, Diego, Santarelli, Valerio, Savo, Domenico Fabio, Solimando, Alessandro, Xiao, Guohui (2016) Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. In: CEUR Workshop Proceedings. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. 1577. CEUR-WS.org (KAR id:91299)
Format: PDF

Botoeva, Elena, Calvanese, Diego, Santarelli, Valerio, Savo, Domenico Fabio, Solimando, Alessandro, Xiao, Guohui (2016) Beyond OWL 2 QL in OBDA: Rewritings and Approximations. In: AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. . pp. 921-928. AAAI Press (doi:10.5555/3015812.3015950) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91270)

Botoeva, Elena, Kontchakov, Roman, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2015) When Are Description Logic Knowledge Bases Indistinguishable? In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence ( IJCAI 2015). . pp. 4240-4246. AAAI Press ISBN 978-1-57735-738-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91286)

Botoeva, Elena, Kontchakov, Roman, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2014) Query Inseparability for Description Logic Knowledge Bases. In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. . pp. 238-247. AAAI Press ISBN 978-1-57735-657-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91290)

Botoeva, Elena, Kontchakov, Roman, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2014) Query Inseparability by Games. In: CEUR Workshop Proceedings. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 1193. pp. 83-95. CEUR-WS.org (KAR id:91305)
Format: PDF

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav (2013) Exchanging OWL 2 QL Knowledge Bases. In: Proceedings of the 23rd international joint conference on Artificial Intelligence. . pp. 703-710. IJCAI/AAAI ISBN 978-1-57735-633-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91291)

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav (2013) Computing Solutions in OWL 2 QL Knowledge Base Exchange. In: CEUR Workshop Proceedings. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. 1014. pp. 4-16. CEUR-WS.org (KAR id:91306)
Format: PDF

Botoeva, Elena, Calvanese, Diego (2012) Circumscribing DL-Lite. In: Proceedings of the ECAI 2012 Workshop on Belief Change, Non-Monotonic Reasoning and Conflict resolution (BNC@ECAI~2012). . pp. 7-13. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91333)

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav, Sherkhonov, Evgeny (2012) Exchanging Description Logic Knowledge Bases. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. . pp. 563-567. AAAI Press ISBN 978-1-57735-560-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91293)

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego, Ryzhikov, Vladislav, Sherkhonov, Evgeny (2012) Representability in DL-Lite_R Knowledge Base Exchange. In: CEUR Workshop Proceedings. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. 846. CEUR-WS.org (KAR id:91308)
Format: PDF

Arenas, Marcelo, Botoeva, Elena, Calvanese, Diego (2011) Knowledge Base Exchange. In: CEUR Workshop Proceedings. Proceedings of the 24th International Workshop on Description Logics (DL 2011). CEUR Workshop Proceedings , 745. pp. 4-14. CEUR-WS.org (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91334)

Botoeva, Elena, Calvanese, Diego, Rodriguez-Muro, Mariano (2010) Expressive Approximations in DL-Lite Ontologies. In: Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings. Lecture Notes in Computer Science , 6304. pp. 21-31. Springer ISBN 978-3-642-15430-0. E-ISBN 978-3-642-15431-7. (doi:10.1007/978-3-642-15431-7_3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91294)

Botoeva, Elena, Artale, Alessandro, Calvanese, Diego (2010) Query Rewriting in DL-Lite_\^(HN)_horn. In: CEUR Workshop Proceedings. Proceedings of the 23rd International Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings , 573. pp. 267-278. CEUR-WS.org (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91350)

This list was generated on Fri May 20 20:10:52 2022 BST.