Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Egor V. Kostylev
@article{DBLP:journals/tplp/WalegaCGK24, author = {Przemyslaw Andrzej Walega and David J. Tena Cucala and Bernardo Cuenca Grau and Egor V. Kostylev}, title = {The Stable Model Semantics of Datalog with Metric Temporal Operators}, journal = {Theory Pract. Log. Program.}, volume = {24}, number = {1}, pages = {22--56}, year = {2024}, url = {https://doi.org/10.1017/s1471068423000315}, doi = {10.1017/S1471068423000315}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/WalegaCGK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/PfluegerCK24, author = {Maximilian Pflueger and David Tena Cucala and Egor V. Kostylev}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {14608--14616}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i13.29377}, doi = {10.1609/AAAI.V38I13.29377}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/PfluegerCK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/0007G0K23, author = {Shuwen Liu and Bernardo Cuenca Grau and Ian Horrocks and Egor V. Kostylev}, editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern{-}Isberner}, title = {Revisiting Inferential Benchmarks for Knowledge Graph Completion}, booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece, September 2-8, 2023}, pages = {461--471}, year = {2023}, url = {https://doi.org/10.24963/kr.2023/45}, doi = {10.24963/KR.2023/45}, timestamp = {Tue, 05 Sep 2023 14:50:36 +0200}, biburl = {https://dblp.org/rec/conf/kr/0007G0K23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/CucalaGMK23, author = {David Tena Cucala and Bernardo Cuenca Grau and Boris Motik and Egor V. Kostylev}, editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern{-}Isberner}, title = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog}, booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece, September 2-8, 2023}, pages = {658--667}, year = {2023}, url = {https://doi.org/10.24963/kr.2023/64}, doi = {10.24963/KR.2023/64}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/CucalaGMK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nesy/PopK23, author = {Roxana Pop and Egor V. Kostylev}, editor = {Artur S. d'Avila Garcez and Tarek R. Besold and Marco Gori and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time}, booktitle = {Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3432}, pages = {233--240}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3432/paper20.pdf}, timestamp = {Tue, 11 Jul 2023 17:14:10 +0200}, biburl = {https://dblp.org/rec/conf/nesy/PopK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2023c, editor = {Jan Vanthienen and Tom{\'{a}}s Kliegr and Paul Fodor and Davide Lanti and D{\"{o}}rthe Arndt and Egor V. Kostylev and Theodoros Mitsikas and Ahmet Soylu}, title = {Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative {AI} 2023, Oslo, Norway, 18 - 20 September, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3485}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3485}, urn = {urn:nbn:de:0074-3485-4}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2023c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-18015, author = {David Tena Cucala and Bernardo Cuenca Grau and Boris Motik and Egor V. Kostylev}, title = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog}, journal = {CoRR}, volume = {abs/2305.18015}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.18015}, doi = {10.48550/ARXIV.2305.18015}, eprinttype = {arXiv}, eprint = {2305.18015}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-18015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-04814, author = {Shuwen Liu and Bernardo Cuenca Grau and Ian Horrocks and Egor V. Kostylev}, title = {Revisiting Inferential Benchmarks for Knowledge Graph Completion}, journal = {CoRR}, volume = {abs/2306.04814}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.04814}, doi = {10.48550/ARXIV.2306.04814}, eprinttype = {arXiv}, eprint = {2306.04814}, timestamp = {Wed, 14 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-04814.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-07625, author = {Przemyslaw Andrzej Walega and David J. Tena Cucala and Bernardo Cuenca Grau and Egor V. Kostylev}, title = {The Stable Model Semantics of Datalog with Metric Temporal Operators}, journal = {CoRR}, volume = {abs/2306.07625}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.07625}, doi = {10.48550/ARXIV.2306.07625}, eprinttype = {arXiv}, eprint = {2306.07625}, timestamp = {Sat, 17 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-07625.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KaminskiKGMH22, author = {Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks}, title = {The Complexity and Expressive Power of Limit Datalog}, journal = {J. {ACM}}, volume = {69}, number = {1}, pages = {6:1--6:83}, year = {2022}, url = {https://doi.org/10.1145/3495009}, doi = {10.1145/3495009}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/KaminskiKGMH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/ZhouZZSSKK22, author = {Dongzhuoran Zhou and Baifan Zhou and Zhuoxun Zheng and Ahmet Soylu and Ognjen Savkovic and Egor V. Kostylev and Evgeny Kharlamov}, editor = {Mohammad Al Hasan and Li Xiong}, title = {ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction}, booktitle = {Proceedings of the 31st {ACM} International Conference on Information {\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022}, pages = {5074--5078}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3511808.3557214}, doi = {10.1145/3511808.3557214}, timestamp = {Wed, 19 Oct 2022 12:52:00 +0200}, biburl = {https://dblp.org/rec/conf/cikm/ZhouZZSSKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/ZhouZZK0JSK22, author = {Dongzhuoran Zhou and Baifan Zhou and Zhuoxun Zheng and Egor V. Kostylev and Gong Cheng and Ernesto Jim{\'{e}}nez{-}Ruiz and Ahmet Soylu and Evgeny Kharlamov}, editor = {Paul Groth and Anisa Rula and Jodi Schneider and Ilaria Tiddi and Elena Simperl and Panos Alexopoulos and Rinke Hoekstra and Mehwish Alam and Anastasia Dimou and Minna Tamper}, title = {Enhancing Knowledge Graph Generation with Ontology Reshaping - Bosch Case}, booktitle = {The Semantic Web: {ESWC} 2022 Satellite Events - Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13384}, pages = {299--302}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-11609-4\_45}, doi = {10.1007/978-3-031-11609-4\_45}, timestamp = {Mon, 28 Aug 2023 21:17:38 +0200}, biburl = {https://dblp.org/rec/conf/esws/ZhouZZK0JSK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/CucalaGKM22, author = {David Jaime Tena Cucala and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik}, title = {Explainable GNN-Based Models over Knowledge Graphs}, booktitle = {The Tenth International Conference on Learning Representations, {ICLR} 2022, Virtual Event, April 25-29, 2022}, publisher = {OpenReview.net}, year = {2022}, url = {https://openreview.net/forum?id=CrCvGNHAIrz}, timestamp = {Sat, 20 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclr/CucalaGKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/PfluegerCK22, author = {Maximilian Pflueger and David J. Tena Cucala and Egor V. Kostylev}, editor = {Ulrike Sattler and Aidan Hogan and C. Maria Keet and Valentina Presutti and Jo{\~{a}}o Paulo A. Almeida and Hideaki Takeda and Pierre Monnin and Giuseppe Pirr{\`{o}} and Claudia d'Amato}, title = {{GNNQ:} {A} Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs}, booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13489}, pages = {481--497}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19433-7\_28}, doi = {10.1007/978-3-031-19433-7\_28}, timestamp = {Mon, 28 Aug 2023 21:17:23 +0200}, biburl = {https://dblp.org/rec/conf/semweb/PfluegerCK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/ZhouZZSCJKK22, author = {Dongzhuoran Zhou and Baifan Zhou and Zhuoxun Zheng and Ahmet Soylu and Gong Cheng and Ernesto Jim{\'{e}}nez{-}Ruiz and Egor V. Kostylev and Evgeny Kharlamov}, editor = {Ulrike Sattler and Aidan Hogan and C. Maria Keet and Valentina Presutti and Jo{\~{a}}o Paulo A. Almeida and Hideaki Takeda and Pierre Monnin and Giuseppe Pirr{\`{o}} and Claudia d'Amato}, title = {Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case}, booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13489}, pages = {770--790}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19433-7\_44}, doi = {10.1007/978-3-031-19433-7\_44}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/ZhouZZSCJKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/ZhouZZTKK22, author = {Dongzhuoran Zhou and Baifan Zhou and Zhuoxun Zheng and Zhipeng Tan and Egor V. Kostylev and Evgeny Kharlamov}, editor = {Anastasia Dimou and Armin Haller and Anna Lisa Gentile and Petar Ristoski}, title = {Towards Executable Knowledge Graph Translation}, booktitle = {Proceedings of the {ISWC} 2022 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 21st International Semantic Web Conference {(ISWC} 2022), Virtual Conference, Hangzhou, China, October 23-27, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3254}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3254/paper391.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:05 +0100}, biburl = {https://dblp.org/rec/conf/semweb/ZhouZZTKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-11067, author = {Dongzhuoran Zhou and Baifan Zhou and Jieying Chen and Gong Cheng and Egor V. Kostylev and Evgeny Kharlamov}, title = {Towards Ontology Reshaping for {KG} Generation with User-in-the-Loop: Applied to Bosch Welding}, journal = {CoRR}, volume = {abs/2209.11067}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.11067}, doi = {10.48550/ARXIV.2209.11067}, eprinttype = {arXiv}, eprint = {2209.11067}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-11067.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CucalaWGK21, author = {David J. Tena Cucala and Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Egor V. Kostylev}, title = {Stratified Negation in Datalog with Metric Temporal Operators}, booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}, pages = {6488--6495}, publisher = {{AAAI} Press}, year = {2021}, url = {https://doi.org/10.1609/aaai.v35i7.16804}, doi = {10.1609/AAAI.V35I7.16804}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CucalaWGK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KamburjanK21, author = {Eduard Kamburjan and Egor V. Kostylev}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/paper-19.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KamburjanK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jist/ZhouZCCKK21, author = {Dongzhuoran Zhou and Baifan Zhou and Jieying Chen and Gong Cheng and Egor V. Kostylev and Evgeny Kharlamov}, title = {Towards Ontology Reshaping for {KG} Generation with User-in-the-Loop: Applied to Bosch Welding}, booktitle = {IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6 - 8, 2021}, pages = {145--150}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3502223.3502243}, doi = {10.1145/3502223.3502243}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jist/ZhouZCCKK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/WalegaCKG21, author = {Przemyslaw Andrzej Walega and David J. Tena Cucala and Egor V. Kostylev and Bernardo Cuenca Grau}, editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem}, title = {DatalogMTL with Negation Under Stable Models Semantics}, booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021}, pages = {609--618}, year = {2021}, url = {https://doi.org/10.24963/kr.2021/58}, doi = {10.24963/KR.2021/58}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/WalegaCKG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/LiuGHK21, author = {Shuwen Liu and Bernardo Cuenca Grau and Ian Horrocks and Egor V. Kostylev}, editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan}, title = {{INDIGO:} GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding}, booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual}, pages = {2034--2045}, year = {2021}, url = {https://proceedings.neurips.cc/paper/2021/hash/0fd600c953cde8121262e322ef09f70e-Abstract.html}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/LiuGHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/BarceloKMPRS20, author = {Pablo Barcel{\'{o}} and Egor V. Kostylev and Mika{\"{e}}l Monet and Jorge P{\'{e}}rez and Juan L. Reutter and Juan Pablo Silva}, title = {The Expressive Power of Graph Neural Networks as a Query Language}, journal = {{SIGMOD} Rec.}, volume = {49}, number = {2}, pages = {6--17}, year = {2020}, url = {https://doi.org/10.1145/3442322.3442324}, doi = {10.1145/3442322.3442324}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmod/BarceloKMPRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KaminskiGKH20, author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks}, title = {Complexity and Expressive Power of Disjunction and Negation in Limit Datalog}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {2862--2869}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i03.5676}, doi = {10.1609/AAAI.V34I03.5676}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KaminskiGKH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BenediktKT20, author = {Michael Benedikt and Egor V. Kostylev and Tony Tan}, editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli}, title = {Two Variable Logic with Ultimately Periodic Counting}, booktitle = {47th International Colloquium on Automata, Languages, and Programming, {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {168}, pages = {112:1--112:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.112}, doi = {10.4230/LIPICS.ICALP.2020.112}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BenediktKT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/BarceloKM0RS20, author = {Pablo Barcel{\'{o}} and Egor V. Kostylev and Mika{\"{e}}l Monet and Jorge P{\'{e}}rez and Juan L. Reutter and Juan Pablo Silva}, title = {The Logical Expressiveness of Graph Neural Networks}, booktitle = {8th International Conference on Learning Representations, {ICLR} 2020, Addis Ababa, Ethiopia, April 26-30, 2020}, publisher = {OpenReview.net}, year = {2020}, url = {https://openreview.net/forum?id=r1lZ7AEKvB}, timestamp = {Thu, 07 May 2020 17:11:47 +0200}, biburl = {https://dblp.org/rec/conf/iclr/BarceloKM0RS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WalegaGKK20, author = {Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev}, editor = {Christian Bessiere}, title = {Tractable Fragments of Datalog with Metric Temporal Operators}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {1919--1925}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/266}, doi = {10.24963/IJCAI.2020/266}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/WalegaGKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/WalegaGKK20, author = {Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev}, editor = {Diego Calvanese and Esra Erdem and Michael Thielscher}, title = {DatalogMTL over the Integer Timeline}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020}, pages = {768--777}, year = {2020}, url = {https://doi.org/10.24963/kr.2020/79}, doi = {10.24963/KR.2020/79}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/WalegaGKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/Kostylev20, author = {Egor V. Kostylev}, editor = {Marco Manna and Andreas Pieris}, title = {Declarative Data Analysis Using Limit Datalog Programs}, booktitle = {Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {12258}, pages = {186--222}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-60067-9\_7}, doi = {10.1007/978-3-030-60067-9\_7}, timestamp = {Sat, 14 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rweb/Kostylev20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-01193, author = {Michael Benedikt and Egor V. Kostylev and Tony Tan}, title = {Two variable logic with ultimately periodic counting}, journal = {CoRR}, volume = {abs/2006.01193}, year = {2020}, url = {https://arxiv.org/abs/2006.01193}, eprinttype = {arXiv}, eprint = {2006.01193}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-01193.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/NikolaouKKKGH19, author = {Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks}, title = {Foundations of ontology-based data access under bag semantics}, journal = {Artif. Intell.}, volume = {274}, pages = {91--132}, year = {2019}, url = {https://doi.org/10.1016/j.artint.2019.02.003}, doi = {10.1016/J.ARTINT.2019.02.003}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/NikolaouKKKGH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/GrauK19, author = {Bernardo Cuenca Grau and Egor V. Kostylev}, title = {Logical Foundations of Linked Data Anonymisation}, journal = {J. Artif. Intell. Res.}, volume = {64}, pages = {253--314}, year = {2019}, url = {https://doi.org/10.1613/jair.1.11355}, doi = {10.1613/JAIR.1.11355}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/GrauK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/GrauHKKM19, author = {Bernardo Cuenca Grau and Ian Horrocks and Mark Kaminski and Egor V. Kostylev and Boris Motik}, title = {Limit Datalog: {A} Declarative Query Language for Data Analysis}, journal = {{SIGMOD} Rec.}, volume = {48}, number = {4}, pages = {6--17}, year = {2019}, url = {https://doi.org/10.1145/3385658.3385660}, doi = {10.1145/3385658.3385660}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmod/GrauHKKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CimaNKKGH19, author = {Gianluca Cima and Charalampos Nikolaou and Egor V. Kostylev and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Mantas Simkus and Grant E. Weddell}, title = {Bagging the DL-Lite Family Further}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2373/paper-13.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/CimaNKKGH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/NikolaouGKKH19, author = {Charalampos Nikolaou and Bernardo Cuenca Grau and Egor V. Kostylev and Mark Kaminski and Ian Horrocks}, editor = {Sarit Kraus}, title = {Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019}, pages = {1829--1835}, publisher = {ijcai.org}, year = {2019}, url = {https://doi.org/10.24963/ijcai.2019/253}, doi = {10.24963/IJCAI.2019/253}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/NikolaouGKKH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WalegaGKK19, author = {Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev}, editor = {Sarit Kraus}, title = {DatalogMTL: Computational Complexity and Expressive Power}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019}, pages = {1886--1892}, publisher = {ijcai.org}, year = {2019}, url = {https://doi.org/10.24963/ijcai.2019/261}, doi = {10.24963/IJCAI.2019/261}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/WalegaGKK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/CimaNKKGH19, author = {Gianluca Cima and Charalampos Nikolaou and Egor V. Kostylev and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Chiara Ghidini and Olaf Hartig and Maria Maleshkova and Vojtech Sv{\'{a}}tek and Isabel F. Cruz and Aidan Hogan and Jie Song and Maxime Lefran{\c{c}}ois and Fabien Gandon}, title = {Bag Semantics of DL-Lite with Functionality Axioms}, booktitle = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11778}, pages = {128--144}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30793-6\_8}, doi = {10.1007/978-3-030-30793-6\_8}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/CimaNKKGH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/PetrovaKGH19a, author = {Alina Petrova and Egor V. Kostylev and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Pavel Shvaiko and J{\'{e}}r{\^{o}}me Euzenat and Ernesto Jim{\'{e}}nez{-}Ruiz and Oktie Hassanzadeh and C{\'{a}}ssia Trojahn}, title = {Towards Explainable Entity Matching via Comparison Queries}, booktitle = {Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference {(ISWC} 2019), Auckland, New Zealand, October 26, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2536}, pages = {197--198}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2536/om2019\_poster5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:08 +0100}, biburl = {https://dblp.org/rec/conf/semweb/PetrovaKGH19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/PetrovaKGH19, author = {Alina Petrova and Egor V. Kostylev and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Chiara Ghidini and Olaf Hartig and Maria Maleshkova and Vojtech Sv{\'{a}}tek and Isabel F. Cruz and Aidan Hogan and Jie Song and Maxime Lefran{\c{c}}ois and Fabien Gandon}, title = {Query-Based Entity Comparison in Knowledge Graphs Revisited}, booktitle = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11778}, pages = {558--575}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30793-6\_32}, doi = {10.1007/978-3-030-30793-6\_32}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/PetrovaKGH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-09353, author = {Mark Kaminski and Egor V. Kostylev}, title = {Subsumption of Weakly Well-Designed {SPARQL} Patterns is Undecidable}, journal = {CoRR}, volume = {abs/1901.09353}, year = {2019}, url = {http://arxiv.org/abs/1901.09353}, eprinttype = {arXiv}, eprint = {1901.09353}, timestamp = {Sat, 02 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-09353.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BenediktGK18, author = {Michael Benedikt and Bernardo Cuenca Grau and Egor V. Kostylev}, title = {Logical foundations of information disclosure in ontology-based data integration}, journal = {Artif. Intell.}, volume = {262}, pages = {52--95}, year = {2018}, url = {https://doi.org/10.1016/j.artint.2018.06.002}, doi = {10.1016/J.ARTINT.2018.06.002}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BenediktGK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/KostylevRV18, author = {Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc}, title = {Containment of queries for graphs with data}, journal = {J. Comput. Syst. Sci.}, volume = {92}, pages = {65--91}, year = {2018}, url = {https://doi.org/10.1016/j.jcss.2017.09.005}, doi = {10.1016/J.JCSS.2017.09.005}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/KostylevRV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/KaminskiK18, author = {Mark Kaminski and Egor V. Kostylev}, title = {Complexity and Expressive Power of Weakly Well-Designed {SPARQL}}, journal = {Theory Comput. Syst.}, volume = {62}, number = {4}, pages = {772--809}, year = {2018}, url = {https://doi.org/10.1007/s00224-017-9802-9}, doi = {10.1007/S00224-017-9802-9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/KaminskiK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18, author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {Stratified Negation in Limit Datalog Programs}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {1875--1881}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/259}, doi = {10.24963/IJCAI.2018/259}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/StefanoniMK18, author = {Giorgio Stefanoni and Boris Motik and Egor V. Kostylev}, editor = {Pierre{-}Antoine Champin and Fabien Gandon and Mounia Lalmas and Panagiotis G. Ipeirotis}, title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data Using Graph Summarisation}, booktitle = {Proceedings of the 2018 World Wide Web Conference on World Wide Web, {WWW} 2018, Lyon, France, April 23-27, 2018}, pages = {1043--1052}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3178876.3186003}, doi = {10.1145/3178876.3186003}, timestamp = {Fri, 16 Apr 2021 10:04:12 +0200}, biburl = {https://dblp.org/rec/conf/www/StefanoniMK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-09619, author = {Giorgio Stefanoni and Boris Motik and Egor V. Kostylev}, title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data Using Graph Summarisation}, journal = {CoRR}, volume = {abs/1801.09619}, year = {2018}, url = {http://arxiv.org/abs/1801.09619}, eprinttype = {arXiv}, eprint = {1801.09619}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-09619.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-00443, author = {Egor V. Kostylev and Dan Suciu}, title = {A Note on the Hardness of the Critical Tuple Problem}, journal = {CoRR}, volume = {abs/1804.00443}, year = {2018}, url = {http://arxiv.org/abs/1804.00443}, eprinttype = {arXiv}, eprint = {1804.00443}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-00443.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-09473, author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks}, title = {Stratified Negation in Limit Datalog Programs}, journal = {CoRR}, volume = {abs/1804.09473}, year = {2018}, url = {http://arxiv.org/abs/1804.09473}, eprinttype = {arXiv}, eprint = {1804.09473}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-09473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/KaminskiKG17, author = {Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau}, title = {Query Nesting, Assignment, and Aggregation in {SPARQL} 1.1}, journal = {{ACM} Trans. Database Syst.}, volume = {42}, number = {3}, pages = {17:1--17:46}, year = {2017}, url = {https://doi.org/10.1145/3083898}, doi = {10.1145/3083898}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tods/KaminskiKG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BenediktGK17, author = {Michael Benedikt and Bernardo Cuenca Grau and Egor V. Kostylev}, editor = {Satinder Singh and Shaul Markovitch}, title = {Source Information Disclosure in Ontology-Based Data Integration}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}}, pages = {1056--1062}, publisher = {{AAAI} Press}, year = {2017}, url = {https://doi.org/10.1609/aaai.v31i1.10690}, doi = {10.1609/AAAI.V31I1.10690}, timestamp = {Mon, 04 Sep 2023 14:40:32 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BenediktGK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/ArenasBKR17, author = {Marcelo Arenas and Elena Botoeva and Egor V. Kostylev and Vladislav Ryzhikov}, editor = {Juan L. Reutter and Divesh Srivastava}, title = {A Note on Computing Certain Answers to Queries over Incomplete Databases}, booktitle = {Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1912}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1912/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/ArenasBKR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/KharlamovGSGKH17, author = {Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks}, editor = {Ee{-}Peng Lim and Marianne Winslett and Mark Sanderson and Ada Wai{-}Chee Fu and Jimeng Sun and J. Shane Culpepper and Eric Lo and Joyce C. Ho and Debora Donato and Rakesh Agrawal and Yu Zheng and Carlos Castillo and Aixin Sun and Vincent S. Tseng and Chenliang Li}, title = {SemFacet: Making Hard Faceted Search Easier}, booktitle = {Proceedings of the 2017 {ACM} on Conference on Information and Knowledge Management, {CIKM} 2017, Singapore, November 06 - 10, 2017}, pages = {2475--2478}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3132847.3133192}, doi = {10.1145/3132847.3133192}, timestamp = {Tue, 29 Aug 2023 16:24:43 +0200}, biburl = {https://dblp.org/rec/conf/cikm/KharlamovGSGKH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BenediktKMT17, author = {Michael Benedikt and Egor V. Kostylev and Fabio Mogavero and Efthymia Tsamoura}, editor = {Carles Sierra}, title = {Reformulating Queries: Theory and Practice}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {837--843}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/116}, doi = {10.24963/IJCAI.2017/116}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/BenediktKMT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH17, author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks}, editor = {Carles Sierra}, title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {1123--1130}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/156}, doi = {10.24963/IJCAI.2017/156}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/NikolaouKKKGH17, author = {Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Carles Sierra}, title = {The Bag Semantics of Ontology-Based Data Access}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {1224--1230}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/170}, doi = {10.24963/IJCAI.2017/170}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/NikolaouKKKGH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/KharlamovGSGKH17, author = {Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks}, editor = {Nadeschda Nikitina and Dezhao Song and Achille Fokoue and Peter Haase}, title = {Ranking, Aggregation, and Reachability in Faceted Search with SemFacet}, booktitle = {Proceedings of the {ISWC} 2017 Posters {\&} Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference {(ISWC} 2017), Vienna, Austria, October 23rd - to - 25th, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1963}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1963/paper650.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:06 +0100}, biburl = {https://dblp.org/rec/conf/semweb/KharlamovGSGKH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/SherkhonovGKK17, author = {Evgeny Sherkhonov and Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev}, editor = {Claudia d'Amato and Miriam Fern{\'{a}}ndez and Valentina A. M. Tamma and Freddy L{\'{e}}cu{\'{e}} and Philippe Cudr{\'{e}}{-}Mauroux and Juan F. Sequeda and Christoph Lange and Jeff Heflin}, title = {Semantic Faceted Search with Aggregation and Recursion}, booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10587}, pages = {594--610}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68288-4\_35}, doi = {10.1007/978-3-319-68288-4\_35}, timestamp = {Tue, 07 Sep 2021 13:48:04 +0200}, biburl = {https://dblp.org/rec/conf/semweb/SherkhonovGKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KaminskiGKMH17, author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks}, title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs}, journal = {CoRR}, volume = {abs/1705.06927}, year = {2017}, url = {http://arxiv.org/abs/1705.06927}, eprinttype = {arXiv}, eprint = {1705.06927}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KaminskiGKMH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/NikolaouKKKGH17, author = {Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks}, title = {The Bag Semantics of Ontology-Based Data Access}, journal = {CoRR}, volume = {abs/1705.07105}, year = {2017}, url = {http://arxiv.org/abs/1705.07105}, eprinttype = {arXiv}, eprint = {1705.07105}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/NikolaouKKKGH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/KostylevRV16, author = {Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc}, title = {Static analysis of navigational XPath over graph databases}, journal = {Inf. Process. Lett.}, volume = {116}, number = {7}, pages = {467--474}, year = {2016}, url = {https://doi.org/10.1016/j.ipl.2016.03.006}, doi = {10.1016/J.IPL.2016.03.006}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/KostylevRV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GrauK16, author = {Bernardo Cuenca Grau and Egor V. Kostylev}, editor = {Dale Schuurmans and Michael P. Wellman}, title = {Logical Foundations of Privacy-Preserving Publishing of Linked Data}, booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA}}, pages = {943--949}, publisher = {{AAAI} Press}, year = {2016}, url = {https://doi.org/10.1609/aaai.v30i1.10105}, doi = {10.1609/AAAI.V30I1.10105}, timestamp = {Mon, 04 Sep 2023 15:08:28 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GrauK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/PolleresRK16, author = {Axel Polleres and Juan L. Reutter and Egor V. Kostylev}, editor = {Reinhard Pichler and Altigran Soares da Silva}, title = {Nested Constructs vs. Sub-Selects in {SPARQL}}, booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1644}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1644/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/PolleresRK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KaminskiK16, author = {Mark Kaminski and Egor V. Kostylev}, editor = {Wim Martens and Thomas Zeume}, title = {Beyond Well-designed {SPARQL}}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {5:1--5:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.5}, doi = {10.4230/LIPICS.ICDT.2016.5}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/KaminskiK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/KontchakovK16, author = {Roman Kontchakov and Egor V. Kostylev}, editor = {Chitta Baral and James P. Delgrande and Frank Wolter}, title = {On Expressibility of Non-Monotone Operators in {SPARQL}}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016}, pages = {369--379}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12889}, timestamp = {Tue, 09 Feb 2021 08:33:50 +0100}, biburl = {https://dblp.org/rec/conf/kr/KontchakovK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/KaminskiKG16, author = {Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau}, editor = {Jacqueline Bourdeau and Jim Hendler and Roger Nkambou and Ian Horrocks and Ben Y. Zhao}, title = {Semantics and Expressive Power of Subqueries and Aggregates in {SPARQL} 1.1}, booktitle = {Proceedings of the 25th International Conference on World Wide Web, {WWW} 2016, Montreal, Canada, April 11 - 15, 2016}, pages = {227--238}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2872427.2883022}, doi = {10.1145/2872427.2883022}, timestamp = {Tue, 12 Apr 2022 14:46:29 +0200}, biburl = {https://dblp.org/rec/conf/www/KaminskiKG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/ArenasDK16, author = {Marcelo Arenas and Gonzalo I. Diaz and Egor V. Kostylev}, editor = {Jacqueline Bourdeau and Jim Hendler and Roger Nkambou and Ian Horrocks and Ben Y. Zhao}, title = {Reverse Engineering {SPARQL} Queries}, booktitle = {Proceedings of the 25th International Conference on World Wide Web, {WWW} 2016, Montreal, Canada, April 11 - 15, 2016}, pages = {239--249}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2872427.2882989}, doi = {10.1145/2872427.2882989}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/ArenasDK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/KostylevR15, author = {Egor V. Kostylev and Juan L. Reutter}, title = {Complexity of answering counting aggregate queries over DL-Lite}, journal = {J. Web Semant.}, volume = {33}, pages = {94--111}, year = {2015}, url = {https://doi.org/10.1016/j.websem.2015.05.003}, doi = {10.1016/J.WEBSEM.2015.05.003}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ws/KostylevR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/Gutierrez-Basulto15, author = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and Roman Kontchakov and Egor V. Kostylev}, title = {Queries with negation and inequalities over lightweight ontologies}, journal = {J. Web Semant.}, volume = {35}, pages = {184--202}, year = {2015}, url = {https://doi.org/10.1016/j.websem.2015.06.002}, doi = {10.1016/J.WEBSEM.2015.06.002}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/Gutierrez-Basulto15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KostylevRV15, author = {Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc}, editor = {Blai Bonet and Sven Koenig}, title = {XPath for {DL} Ontologies}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {1525--1531}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9396}, doi = {10.1609/AAAI.V29I1.9396}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KostylevRV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KostylevG15, author = {Egor V. Kostylev and Bernardo Cuenca Grau}, editor = {Diego Calvanese and Boris Konev}, title = {Semantics of {SPARQL} under {OWL} 2 Entailment Regimes}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-31.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KostylevG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KostylevRU15, author = {Egor V. Kostylev and Juan L. Reutter and Mart{\'{\i}}n Ugarte}, editor = {Marcelo Arenas and Mart{\'{\i}}n Ugarte}, title = {{CONSTRUCT} Queries in {SPARQL}}, booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March 23-27, 2015, Brussels, Belgium}, series = {LIPIcs}, volume = {31}, pages = {212--229}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.212}, doi = {10.4230/LIPICS.ICDT.2015.212}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/KostylevRU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GrauKKZ15, author = {Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Controlled Query Evaluation for Datalog and {OWL} 2 Profile Ontologies}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {2883--2889}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/408}, timestamp = {Tue, 20 Aug 2019 16:16:43 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/GrauKKZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/KostylevR0V15, author = {Egor V. Kostylev and Juan L. Reutter and Miguel Romero and Domagoj Vrgoc}, editor = {Marcelo Arenas and {\'{O}}scar Corcho and Elena Simperl and Markus Strohmaier and Mathieu d'Aquin and Kavitha Srinivas and Paul Groth and Michel Dumontier and Jeff Heflin and Krishnaprasad Thirunarayan and Steffen Staab}, title = {{SPARQL} with Property Paths}, booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9366}, pages = {3--18}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25007-6\_1}, doi = {10.1007/978-3-319-25007-6\_1}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/KostylevR0V15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GrauKKZ15, author = {Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov}, title = {Controlled Query Evaluation for Datalog and {OWL} 2 Profile Ontologies}, journal = {CoRR}, volume = {abs/1504.06529}, year = {2015}, url = {http://arxiv.org/abs/1504.06529}, eprinttype = {arXiv}, eprint = {1504.06529}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GrauKKZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/KostylevRS14, author = {Egor V. Kostylev and Juan L. Reutter and Andr{\'{a}}s Z. Salamon}, title = {Classification of annotation semirings over containment of conjunctive queries}, journal = {{ACM} Trans. Database Syst.}, volume = {39}, number = {1}, pages = {1:1--1:39}, year = {2014}, url = {https://doi.org/10.1145/2556524}, doi = {10.1145/2556524}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/KostylevRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GrauKKZ14, author = {Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {Controlled Query Evaluation over Lightweight Ontologies}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {141--152}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_55.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/GrauKKZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KostylevRV14, author = {Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {XPath for DL-Lite Ontologies}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {258--269}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_79.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KostylevRV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KostylevRV14, author = {Egor V. Kostylev and Juan L. Reutter and Domagoj Vrgoc}, editor = {Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {Containment of Data Graph Queries}, booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014}, pages = {131--142}, publisher = {OpenProceedings.org}, year = {2014}, url = {https://doi.org/10.5441/002/icdt.2014.16}, doi = {10.5441/002/ICDT.2014.16}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/KostylevRV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/KostylevG14, author = {Egor V. Kostylev and Bernardo Cuenca Grau}, editor = {Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig A. Knoblock and Denny Vrandecic and Paul Groth and Natasha F. Noy and Krzysztof Janowicz and Carole A. Goble}, title = {On the Semantics of {SPARQL} Queries with Optional Matching under Entailment Regimes}, booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8797}, pages = {374--389}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11915-1\_24}, doi = {10.1007/978-3-319-11915-1\_24}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/KostylevG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KostylevR13, author = {Egor V. Kostylev and Juan L. Reutter}, editor = {Marie desJardins and Michael L. Littman}, title = {Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family}, booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, pages = {534--540}, publisher = {{AAAI} Press}, year = {2013}, url = {https://doi.org/10.1609/aaai.v27i1.8646}, doi = {10.1609/AAAI.V27I1.8646}, timestamp = {Mon, 04 Sep 2023 15:56:33 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KostylevR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KostylevR13, author = {Egor V. Kostylev and Juan L. Reutter}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"{o}}tzsch}, title = {Complexity of Answering Counting Aggregate Queries over DL-Lite}, booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1014}, pages = {364--376}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1014/paper\_56.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KostylevR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/BunemanKV13, author = {Peter Buneman and Egor V. Kostylev and Stijn Vansummeren}, editor = {Wang{-}Chiew Tan and Giovanna Guerrini and Barbara Catania and Anastasios Gounaris}, title = {Annotations are relative}, booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013}, pages = {177--188}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2448496.2448518}, doi = {10.1145/2448496.2448518}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/BunemanKV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/Gutierrez-BasultoIKK13, author = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and Roman Kontchakov and Egor V. Kostylev}, editor = {Wolfgang Faber and Domenico Lembo}, title = {Conjunctive Queries with Negation over DL-Lite: {A} Closer Look}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {109--122}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_9}, doi = {10.1007/978-3-642-39666-3\_9}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rr/Gutierrez-BasultoIKK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GrauKKZ13, author = {Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev and Dmitriy Zheleznyakov}, editor = {Harith Alani and Lalana Kagal and Achille Fokoue and Paul Groth and Chris Biemann and Josiane Xavier Parreira and Lora Aroyo and Natasha F. Noy and Chris Welty and Krzysztof Janowicz}, title = {Controlled Query Evaluation over {OWL} 2 {RL} Ontologies}, booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {8218}, pages = {49--65}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41335-3\_4}, doi = {10.1007/978-3-642-41335-3\_4}, timestamp = {Tue, 07 Sep 2021 13:48:20 +0200}, biburl = {https://dblp.org/rec/conf/semweb/GrauKKZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KostylevB12, author = {Egor V. Kostylev and Peter Buneman}, editor = {Alin Deutsch}, title = {Combining dependent annotations for relational algebra}, booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin, Germany, March 26-29, 2012}, pages = {196--207}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2274576.2274597}, doi = {10.1145/2274576.2274597}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/KostylevB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/KostylevRS12, author = {Egor V. Kostylev and Juan L. Reutter and Andr{\'{a}}s Z. Salamon}, editor = {Michael Benedikt and Markus Kr{\"{o}}tzsch and Maurizio Lenzerini}, title = {Classification of annotation semirings over query containment}, booktitle = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA, May 20-24, 2012}, pages = {237--248}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2213556.2213590}, doi = {10.1145/2213556.2213590}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/KostylevRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapp/BunemanCK12, author = {Peter Buneman and James Cheney and Egor V. Kostylev}, editor = {Umut A. Acar and Todd J. Green}, title = {Hierarchical Models of Provenance}, booktitle = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012}, publisher = {{USENIX} Association}, year = {2012}, url = {https://www.usenix.org/conference/tapp12/workshop-program/presentation/buneman}, timestamp = {Tue, 02 Feb 2021 08:04:55 +0100}, biburl = {https://dblp.org/rec/conf/tapp/BunemanCK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/BunemanK10, author = {Peter Buneman and Egor V. Kostylev}, editor = {Satya S. Sahoo and Jun Zhao and Paolo Missier and Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez}, title = {Annotation algebras for {RDFS} Data}, booktitle = {Proceedings of the Second International Workshop on the role of Semantic Web in Provenance Management, SWPM@ISWC 2010, Shanghai, China, November 7, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {670}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-670/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:06 +0100}, biburl = {https://dblp.org/rec/conf/semweb/BunemanK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/BulychevKZ09, author = {Peter E. Bulychev and Egor V. Kostylev and Vladimir A. Zakharov}, editor = {Amir Pnueli and Irina B. Virbitskaite and Andrei Voronkov}, title = {Anti-unification Algorithms and Their Applications in Program Analysis}, booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5947}, pages = {413--423}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11486-1\_35}, doi = {10.1007/978-3-642-11486-1\_35}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/BulychevKZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.