Mark Kaminski

发表

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

Gert Smolka, Mark Kaminski, G. Smolka, 2008, IJCAR.

Polynomial Horn Rewritings for Description Logics Ontologies

Bernardo Cuenca Grau, Mark Kaminski, B. C. Grau, 2015, Description Logics.

Beyond Well-designed SPARQL

Egor V. Kostylev, Mark Kaminski, M. Kaminski, 2016, ICDT.

Bag Semantics of DL-Lite with Functionality Axioms

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, SEMWEB.

The Bag Semantics of Ontology-Based Data Access

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2017, IJCAI.

Terminating Tableaux for Hybrid Logic with Eventualities

Gert Smolka, Mark Kaminski, G. Smolka, 2010, IJCAR.

The Window Validity Problem in Rule-Based Stream Reasoning

Ian Horrocks, Bernardo Cuenca Grau, Mark Kaminski, 2018, KR.

Module Extraction in Expressive Ontology Languages via Datalog Reasoning

Ian Horrocks, Bernardo Cuenca Grau, Mark Kaminski, 2016, J. Artif. Intell. Res..

Stratified Negation in Limit Datalog Programs pdf

Boris Motik, Ian Horrocks, Egor V. Kostylev, 2018, IJCAI.

Limit Datalog

Boris Motik, Ian Horrocks, Egor V. Kostylev, 2019, SIGMOD Rec..

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Gert Smolka, Mark Kaminski, Sigurd Schneider, 2009, TABLEAUX.

Datalog Rewriting Techniques for Non-Horn Ontologies

Yavor Nenov, Bernardo Cuenca Grau, Mark Kaminski, 2014, Description Logics.

InKreSAT: Modal Reasoning via Incremental Reduction to SAT

Mark Kaminski, Tobias Tebbi, 2013, CADE.

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles

Gert Smolka, Mark Kaminski, 2009, Description Logics.

DatalogMTL: Computational Complexity and Expressive Power

Egor V. Kostylev, Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, 2019, IJCAI.

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Yavor Nenov, Bernardo Cuenca Grau, Mark Kaminski, 2014, AAAI.

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2020, AAAI.

Incremental decision procedures for modal logics with nominals and eventualities

Mark Kaminski, M. Kaminski, 2012 .

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Gert Smolka, Mark Kaminski, G. Smolka, 2009, J. Log. Lang. Inf..

Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles

Gert Smolka, Mark Kaminski, G. Smolka, 2010, IFIP TCS.

Query Nesting, Assignment, and Aggregation in SPARQL 1.1

Egor V. Kostylev, Bernardo Cuenca Grau, Mark Kaminski, 2017, ACM Trans. Database Syst..

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable pdf

Egor V. Kostylev, Mark Kaminski, M. Kaminski, 2019, ArXiv.

Stream Reasoning in Temporal Datalog

Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2017, AAAI.

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1

Egor V. Kostylev, Bernardo Cuenca Grau, Mark Kaminski, 2016, WWW.

Hybrid Tableaux for the Difference Modality

Gert Smolka, Mark Kaminski, 2009, Electron. Notes Theor. Comput. Sci..

Tractable Fragments of Datalog with Metric Temporal Operators

Egor V. Kostylev, Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, 2020, IJCAI.

Clausal Tableaux for Hybrid PDL

Gert Smolka, Mark Kaminski, G. Smolka, 2011, M4M/LAMAS.

Foundations of Declarative Data Analysis Using Limit Datalog Programs pdf

Boris Motik, Ian Horrocks, Egor V. Kostylev, 2017, IJCAI.

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, IJCAI.

A Goal-Directed Decision Procedure for Hybrid PDL

Gert Smolka, Mark Kaminski, G. Smolka, 2014, Journal of Automated Reasoning.

A Minimal Propositional Type Theory pdf

Gert Smolka, Mark Kaminski, 2010, ArXiv.

Sufficient Conditions for First-Order and Datalog Rewritability in ELU

Bernardo Cuenca Grau, Mark Kaminski, B. C. Grau, 2013, Description Logics.

Spartacus: A Tableau Prover for Hybrid Logic

Gert Smolka, Mark Kaminski, Daniel Götzmann, 2010, Electron. Notes Theor. Comput. Sci..

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies

Yavor Nenov, Bernardo Cuenca Grau, Mark Kaminski, 2014, RR.

Reasoning over Streaming Data in Metric Temporal Datalog

Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, Mark Kaminski, 2019, AAAI.

Bagging the DL-Lite Family Further

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, Description Logics.

Complexity and Expressive Power of Weakly Well-Designed SPARQL

Egor V. Kostylev, Mark Kaminski, M. Kaminski, 2017, Theory of Computing Systems.

Foundations of ontology-based data access under bag semantics

Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, Artif. Intell..

Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities pdf

Gert Smolka, Mark Kaminski, G. Smolka, 2012, ArXiv.

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

Gert Smolka, Mark Kaminski, G. Smolka, 2010, LPAR.

Computing Horn Rewritings of Description Logics Ontologies pdf

Bernardo Cuenca Grau, Mark Kaminski, B. C. Grau, 2015, IJCAI.

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Gert Smolka, Mark Kaminski, Sigurd Schneider, 2009, TABLEAUX.

Ontology Module Extraction via Datalog Reasoning pdf

Ian Horrocks, Bernardo Cuenca Grau, Mark Kaminski, 2016, Description Logics.

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics

Gert Smolka, Mark Kaminski, Thomas Schneider, 2011, TABLEAUX.

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Yavor Nenov, Bernardo Cuenca Grau, Mark Kaminski, 2016, Artif. Intell..

A Straightforward Saturation-Based Decision Procedure for Hybrid Logic

Gert Smolka, Mark Kaminski, 2007 .