Mark Kaminski

From MaRDI portal
Person:286084

Available identifiers

zbMath Open kaminski.markWikidataQ102404274 ScholiaQ102404274MaRDI QIDQ286084

List of research outcomes





PublicationDate of PublicationType
The delay and window size problems in rule-based stream reasoning2022-04-11Paper
The Complexity and Expressive Power of Limit Datalog2022-03-31Paper
Foundations of ontology-based data access under bag semantics2019-08-28Paper
Complexity and expressive power of weakly well-designed SPARQL2018-07-16Paper
https://portal.mardi4nfdi.de/entity/Q52761832017-07-14Paper
Clausal tableaux for hybrid PDL2016-10-07Paper
Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies2016-05-19Paper
Module extraction in expressive ontology languages via Datalog reasoning2016-03-03Paper
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner2015-11-25Paper
A goal-directed decision procedure for hybrid PDL2015-06-23Paper
Hybrid Tableaux for the Difference Modality2015-03-23Paper
InKreSAT: modal reasoning via incremental reduction to SAT2013-06-14Paper
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics2011-07-01Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies2011-05-26Paper
A finite axiomatization of propositional type theory in pure lambda calculus2011-03-30Paper
Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles2010-10-27Paper
Clausal graph tableaux for hybrid logic with eventualities and difference2010-10-12Paper
Terminating Tableaux for Hybrid Logic with Eventualities2010-09-14Paper
Terminating tableau systems for hybrid logic with difference and converse2010-01-06Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies2009-12-01Paper
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse2008-11-27Paper

Research outcomes over time

This page was built for person: Mark Kaminski