Browse by Journal
Number of items: 16.
A
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) |
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) |
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) |
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) |
Andreotti, Fernando, Phan, Huy, De Vos, Maarten (2018) Visualising Convolutional Neural Network Decisions in Automatic Sleep Scoring. In: CEUR Workshop Proceedings. Joint Workshop on Artificial Intelligence in Health (AIH) 2018. . pp. 70-81. CEUR Workshop Proceedings, Stockholm, Sweden (KAR id:72666) |
B
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) |
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) |
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) |
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) |
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) |
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) |
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) |
C
Corneli, Joseph, Jordanous, Anna (2015) Implementing feedback in creative systems : a workshop approach. In: CEUR Workshop Proceedings. . CEUR Workshop Proceedings (KAR id:49540) |
Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. CEUR Workshop Proceedings, 1686 . ISSN 1613-0073. (KAR id:66901) |
F
Franqueira, Virginia N. L., Van Eck, Pascal (2008) Defense Against Insider Threat: A framework for Gathering Goal-based Requirements. In: CEUR Workshop Proceedings. CEUR Workshop Proceedings. . pp. 183-192. (KAR id:77204) |
M
Micallef, Luana, Rodgers, Peter (2014) Computing the Region Areas of Euler Diagrams Drawn with Three Ellipses. In: Burton, Jim and Stapleton, Gem and Klein, Karsten, eds. CEUR Workshop Proceedings. Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014. 1244. pp. 1-15. (KAR id:41436) |