Mark Kaminski

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 31

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
Stream reasoning with DatalogMTL. J. Web Semant. 76 (2023)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The delay and window size problems in rule-based stream reasoning. Artif. Intell. 306 (2022)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
The Complexity and Expressive Power of Limit Datalog. J. ACM 69 (1) (2022)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL over the Integer Timeline. KR (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI (2020)
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Bagging the DL-Lite Family Further. Description Logics (2019)
Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48 (4) (2019)
Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI (2019)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Foundations of ontology-based data access under bag semantics. Artif. Intell. 274 (2019)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL: Computational Complexity and Expressive Power. IJCAI (2019)
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) (2019)
Mark Kaminski, Egor V. Kostylev
Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable. CoRR (2019)
Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI (2019)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. AAAI (2018)
Mark Kaminski, Egor V. Kostylev
Complexity and Expressive Power of Weakly Well-Designed SPARQL. Theory Comput. Syst. 62 (4) (2018)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Window Validity Problem in Rule-Based Stream Reasoning. CoRR (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. CoRR (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. IJCAI (2018)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Window Validity Problem in Rule-Based Stream Reasoning. KR (2018)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
Query Nesting, Assignment, and Aggregation in SPARQL 1.1. ACM Trans. Database Syst. 42 (3) (2017)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI (2017)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Bag Semantics of Ontology-Based Data Access. CoRR (2017)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Bag Semantics of Ontology-Based Data Access. IJCAI (2017)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. 236 (2016)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW (2016)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. 55 (2016)
Mark Kaminski, Egor V. Kostylev
Beyond Well-designed SPARQL. ICDT (2016)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. Description Logics (2016)
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. 54 (2015)
Mark Kaminski, Bernardo Cuenca Grau
Polynomial Horn Rewritings for Description Logics Ontologies. Description Logics (2015)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. AAAI (2015)
Mark Kaminski, Bernardo Cuenca Grau
Computing Horn Rewritings of Description Logics Ontologies. CoRR (2015)
Mark Kaminski, Bernardo Cuenca Grau
Computing Horn Rewritings of Description Logics Ontologies. IJCAI (2015)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. CoRR (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewriting Techniques for Non-Horn Ontologies. Description Logics (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR (2014)
Mark Kaminski, Gert Smolka
A Goal-Directed Decision Procedure for Hybrid PDL. J. Autom. Reason. 52 (4) (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. CoRR (2014)
Mark Kaminski, Tobias Tebbi
InKreSAT: Modal Reasoning via Incremental Reduction to SAT. CADE (2013)
Mark Kaminski, Bernardo Cuenca Grau
Sufficient Conditions for First-Order and Datalog Rewritability in ELU. Description Logics (2013)
Mark Kaminski, Gert Smolka
Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities CoRR (2012)
Mark Kaminski, Thomas Schneider, Gert Smolka
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. TABLEAUX (2011)
Mark Kaminski, Sigurd Schneider, Gert Smolka
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies Log. Methods Comput. Sci. 7 (1) (2011)
Mark Kaminski, Gert Smolka
Clausal Tableaux for Hybrid PDL. Electron. Notes Theor. Comput. Sci. 278 (2011)
Mark Kaminski, Gert Smolka
\mathcal{SOQ} with Number Restrictions on Transitive Roles. IFIP TCS (2010)
Mark Kaminski, Gert Smolka
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. LPAR (Yogyakarta) (2010)
Daniel Götzmann, Mark Kaminski, Gert Smolka
Spartacus: A Tableau Prover for Hybrid Logic. Electron. Notes Theor. Comput. Sci. 262 (2010)
Mark Kaminski, Gert Smolka
A Minimal Propositional Type Theory CoRR (2010)
Mark Kaminski, Gert Smolka
Terminating Tableaux for Hybrid Logic with Eventualities. IJCAR (2010)
Mark Kaminski, Gert Smolka
Hybrid Tableaux for the Difference Modality. Electron. Notes Theor. Comput. Sci. 231 (2009)
Mark Kaminski, Gert Smolka
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Description Logics (2009)
Mark Kaminski, Gert Smolka
Terminating Tableau Systems for Hybrid Logic with Difference and Converse. J. Log. Lang. Inf. 18 (4) (2009)
Mark Kaminski, Sigurd Schneider, Gert Smolka
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX (2009)
Mark Kaminski, Gert Smolka
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR (2008)

Mark Kaminski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Kaminski