| 2020 | AAAI | Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks |
| 2020 | IJCAI | Tractable Fragments of Datalog with Metric Temporal Operators. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2020 | KR | DatalogMTL over the Integer Timeline. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2019 | AAAI | Reasoning over Streaming Data in Metric Temporal Datalog. | Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau |
| 2019 | IJCAI | Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. | Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks |
| 2019 | IJCAI | DatalogMTL: Computational Complexity and Expressive Power. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2018 | AAAI | Stream Reasoning in Temporal Datalog. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks |
| 2018 | IJCAI | Stratified Negation in Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2018 | KR | The Window Validity Problem in Rule-Based Stream Reasoning. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2017 | IJCAI | Foundations of Declarative Data Analysis Using Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2017 | IJCAI | The Bag Semantics of Ontology-Based Data Access. | Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2016 | ICDT | Beyond Well-designed SPARQL. | Mark Kaminski, Egor V. Kostylev |
| 2016 | WWW | Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. | Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau |
| 2015 | AAAI | Ontology Module Extraction via Datalog Reasoning. | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2015 | IJCAI | Computing Horn Rewritings of Description Logics Ontologies. | Mark Kaminski, Bernardo Cuenca Grau |
| 2014 | AAAI | Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
| 2013 | CADE | InKreSAT: Modal Reasoning via Incremental Reduction to SAT. | Mark Kaminski, Tobias Tebbi |
| 2011 | TABLEAUX | Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. | Mark Kaminski, Thomas Schneider, Gert Smolka |
| 2010 | CADE | Terminating Tableaux for Hybrid Logic with Eventualities. | Mark Kaminski, Gert Smolka |
| 2010 | LPAR | Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. | Mark Kaminski, Gert Smolka |
| 2009 | TABLEAUX | Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. | Mark Kaminski, Sigurd Schneider, Gert Smolka |
| 2008 | CADE | Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. | Mark Kaminski, Gert Smolka |