Mark Kaminski : Publications
Journal papers
-
[1]
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
-
[2]
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
Conference papers
-
[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]
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 571–581. 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
-
[3]
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−18)‚ New Orleans‚ Louisiana‚ USA‚ February 2–7‚ 2018. Pages 1941–1948. 2018.
Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog
-
[4]
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
-
[5]
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
-
[6]
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