Mark Kaminski : Publications
-
[1]
Reasoning over Streaming Data in Metric Temporal Datalog
Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Reasoning over Streaming Data in Metric Temporal Datalog | BibTeX data for Reasoning over Streaming Data in Metric Temporal Datalog
-
[2]
Complexity and Expressive Power of Weakly Well−Designed SPARQL
Mark Kaminski and Egor V. Kostylev
In Theory Comput. Syst.. Vol. 62. No. 4. Pages 772–809. 2018.
Details about Complexity and Expressive Power of Weakly Well−Designed SPARQL | BibTeX data for Complexity and Expressive Power of Weakly Well−Designed SPARQL | DOI (10.1007/s00224-017-9802-9) | Link to Complexity and Expressive Power of Weakly Well−Designed SPARQL
-
[3]
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR). 2018.
Details about The Window Validity Problem in Rule−Based Stream Reasoning | BibTeX data for The Window Validity Problem in Rule−Based Stream Reasoning | Link to The Window Validity Problem in Rule−Based Stream Reasoning
-
[4]
Stream Reasoning in Temporal Datalog
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence (AAAI). 2018.
Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog
-
[5]
Stratified Negation in Limit Datalog Programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
In Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden.. Pages 1875–1881. 2018.
Details about Stratified Negation in Limit Datalog Programs | BibTeX data for Stratified Negation in Limit Datalog Programs | DOI (10.24963/ijcai.2018/259) | Link to Stratified Negation in Limit Datalog Programs
-
[6]
Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1
Mark Kaminski‚ Egor V. Kostylev and Bernardo Cuenca Grau
In ACM Trans. Database Syst.. Vol. 42. No. 3. Pages 17:1–17:46. 2017.
Details about Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | BibTeX data for Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | DOI (10.1145/3083898) | Link to Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1
-
[7]
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1123–1130. 2017.
Details about Foundations of Declarative Data Analysis Using Limit Datalog Programs | BibTeX data for Foundations of Declarative Data Analysis Using Limit Datalog Programs | DOI (10.24963/ijcai.2017/156) | Link to Foundations of Declarative Data Analysis Using Limit Datalog Programs
-
[8]
The Bag Semantics of Ontology−Based Data Access
Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Carles Sierra, editor, Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 1224–1230. ijcai.org. 2017.
Details about The Bag Semantics of Ontology−Based Data Access | BibTeX data for The Bag Semantics of Ontology−Based Data Access | DOI (10.24963/ijcai.2017/170) | Link to The Bag Semantics of Ontology−Based Data Access