Kaminski, Mark

14 publications

AAAI 2020 Complexity and Expressive Power of Disjunction and Negation in Limit Datalog Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

IJCAI 2020 Tractable Fragments of Datalog with Metric Temporal Operators Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

IJCAI 2019 DatalogMTL: Computational Complexity and Expressive Power Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau

IJCAI 2019 Satisfaction and Implication of Integrity Constraints in Ontology-Based Data Access Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

IJCAI 2018 Stratified Negation in Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

AAAI 2018 Stream Reasoning in Temporal Datalog Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

IJCAI 2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

IJCAI 2017 The Bag Semantics of Ontology-Based Data Access Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2016 Module Extraction in Expressive Ontology Languages via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2015 Computing Horn Rewritings of Description Logics Ontologies Mark Kaminski, Bernardo Cuenca Grau

AAAI 2015 Ontology Module Extraction via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2015 PAGOdA: Pay-as-You-Go Ontology Query Answering Using a Datalog Reasoner Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

AAAI 2014 Datalog Rewritability of Disjunctive Datalog Programs and Its Applications to Ontology Reasoning Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau