Hybrid Tableaux for the Difference Modality. - Mark Kaminski; Gert Smolka (M4M, 2007)

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. - Mark Kaminski; Gert Smolka (IJCAR, 2008)

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. - Mark Kaminski; Gert Smolka (Description Logics, 2009)

Spartacus: A Tableau Prover for Hybrid Logic. - Daniel Götzmann; Mark Kaminski; Gert Smolka (M4M, 2009)

Terminating Tableau Systems for Hybrid Logic with Difference and Converse. - Mark Kaminski; Gert Smolka (J. Log. Lang. Inf., 2009)

Terminating Tableaux for Hybrid Logic with Eventualities. - Mark Kaminski; Gert Smolka (IJCAR, 2010)

Terminating Tableaux for SOQ mathcal{SOQ} with Number Restrictions on Transitive Roles. - Mark Kaminski; Gert Smolka (IFIP TCS, 2010)

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. - Mark Kaminski; Gert Smolka (LPAR (Yogyakarta), 2010)

A Minimal Propositional Type Theory - Mark Kaminski; Gert Smolka (CoRR, 2010)

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. - Mark Kaminski; Thomas Schneider 002; Gert Smolka (TABLEAUX, 2011)

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies - Mark Kaminski; Sigurd Schneider; Gert Smolka (Log. Methods Comput. Sci., 2011)

Clausal Tableaux for Hybrid PDL. - Mark Kaminski; Gert Smolka (M4M/LAMAS, 2011)

Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities - Mark Kaminski; Gert Smolka (CoRR, 2012)

Incremental decision procedures for modal logics with nominals and eventualities. - Mark Kaminski (2012)

InKreSAT: Modal Reasoning via Incremental Reduction to SAT. - Mark Kaminski; Tobias Tebbi (CADE, 2013)

Sufficient Conditions for First-Order and Datalog Rewritability in ELU. - Mark Kaminski; Bernardo Cuenca Grau (Description Logics, 2013)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (AAAI, 2014)

Datalog Rewriting Techniques for Non-Horn Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Description Logics, 2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (RR, 2014)

A Goal-Directed Decision Procedure for Hybrid PDL. - Mark Kaminski; Gert Smolka (J. Autom. Reason., 2014)

Ontology Module Extraction via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2015)

Polynomial Horn Rewritings for Description Logics Ontologies. - Mark Kaminski; Bernardo Cuenca Grau (Description Logics, 2015)

Computing Horn Rewritings of Description Logics Ontologies. - Mark Kaminski; Bernardo Cuenca Grau (IJCAI, 2015)

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Mark Kaminski; Ian Horrocks 001 (J. Artif. Intell. Res., 2015)

Beyond Well-designed SPARQL. - Mark Kaminski; Egor V. Kostylev (ICDT, 2016)

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (WWW, 2016)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Artif. Intell., 2016)

Module Extraction in Expressive Ontology Languages via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (J. Artif. Intell. Res., 2016)

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

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

Query Nesting, Assignment, and Aggregation in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (ACM Trans. Database Syst., 2017)

Stream Reasoning in Temporal Datalog. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

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

The Window Validity Problem in Rule-Based Stream Reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2018)

Complexity and Expressive Power of Weakly Well-Designed SPARQL. - Mark Kaminski; Egor V. Kostylev (Theory Comput. Syst., 2018)

Reasoning over Streaming Data in Metric Temporal Datalog. - Przemyslaw Andrzej Walega; Mark Kaminski; Bernardo Cuenca Grau (AAAI, 2019)

Bagging the DL-Lite Family Further. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

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

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

Bag Semantics of DL-Lite with Functionality Axioms. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Foundations of ontology-based data access under bag semantics. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2019)

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable. - Mark Kaminski; Egor V. Kostylev (CoRR, 2019)

Limit Datalog: A Declarative Query Language for Data Analysis. - Bernardo Cuenca Grau; Ian Horrocks 001; Mark Kaminski; Egor V. Kostylev; Boris Motik (SIGMOD Rec., 2019)

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

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

DatalogMTL over the Integer Timeline. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (KR, 2020)

The delay and window size problems in rule-based stream reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2022)

The Complexity and Expressive Power of Limit Datalog. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (J. ACM, 2022)

Stream reasoning with DatalogMTL. - Przemyslaw Andrzej Walega; Mark Kaminski; Dingmin Wang; Bernardo Cuenca Grau (J. Web Semant., 2023)