@conference{walegaAAAI19, title = "Reasoning over Streaming Data in Metric Temporal Datalog", author = "Przemyslaw Andrzej Walega and Mark Kaminski and Bernardo Cuenca Grau", year = "2019", booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)", } @conference{DBLP:conf/kr/RoncaKGH18, title = "The Window Validity Problem in Rule-Based Stream Reasoning", author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks", year = "2018", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.", pages = "571--581", url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030", } @article{DBLP:journals/mst/KaminskiK18, title = "Complexity and Expressive Power of Weakly Well-Designed {SPARQL}", author = "Mark Kaminski and Egor V. Kostylev", year = "2018", journal = "Theory Comput. Syst.", number = "4", pages = "772--809", url = "https://doi.org/10.1007/s00224-017-9802-9", volume = "62", doi = "10.1007/s00224-017-9802-9", } @inproceedings{DBLP:conf/aaai/RoncaKGMH18, title = "Stream Reasoning in Temporal Datalog", author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks", year = "2018", booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), New Orleans, Louisiana, USA, February 2--7, 2018", pages = "1941--1948", url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16182", } @inproceedings{DBLP:conf/ijcai/KaminskiGKMH18, title = "Stratified Negation in Limit Datalog Programs", author = "Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks", year = "2018", booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.", pages = "1875--1881", url = "https://doi.org/10.24963/ijcai.2018/259", doi = "10.24963/ijcai.2018/259", } @article{DBLP:journals/tods/KaminskiKG17, title = "Query Nesting, Assignment, and Aggregation in {SPARQL} 1.1", author = "Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau", year = "2017", journal = "{ACM} Trans. Database Syst.", number = "3", pages = "17:1--17:46", url = "http://doi.acm.org/10.1145/3083898", volume = "42", doi = "10.1145/3083898", } @inproceedings{ijcai2017-156, title = "Foundations of Declarative Data Analysis Using Limit Datalog Programs", author = "Mark Kaminski and Bernardo {Cuenca Grau} and {Egor V.} Kostylev and Boris Motik and Ian Horrocks", year = "2017", booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}", pages = "1123--1130", url = "https://doi.org/10.24963/ijcai.2017/156", doi = "10.24963/ijcai.2017/156", } @inproceedings{NikolaouIJCAI17, title = "The Bag Semantics of Ontology-Based Data Access", author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks", year = "2017", booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017", editor = "Carles Sierra", isbn = "978-0-9992411-0-3", pages = "1224--1230", publisher = "ijcai.org", url = "http://www.ijcai.org/Proceedings/2017/", doi = "10.24963/ijcai.2017/170", }