Proceedings

Mark Kaminski

6 papers in the IJCAI proceedings

IJCAI 2020

Tractable Fragments of Datalog with Metric Temporal Operators
with Przemysław A. Wałęga, Bernardo Cuenca Grau, Egor V. Kostylev
doi:10.24963/ijcai.2020/266
Details PDF

IJCAI 2019

DatalogMTL: Computational Complexity and Expressive Power
with Przemysław A. Wałęga, Bernardo Cuenca Grau, Egor V. Kostylev
doi:10.24963/ijcai.2019/261
Details PDF
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
with Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
doi:10.24963/ijcai.2019/253
Details PDF

IJCAI 2018

Stratified Negation in Limit Datalog Programs
with Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
doi:10.24963/ijcai.2018/259
Details PDF

IJCAI 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs
with Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
doi:10.24963/ijcai.2017/156
Details PDF
The Bag Semantics of Ontology-Based Data Access
with Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Bernardo Cuenca Grau, Ian Horrocks
doi:10.24963/ijcai.2017/170
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards