Mark Kaminski

Available identifiers

zbMath Open kaminski.markWikidataQ102404274 ScholiaQ102404274MaRDI QIDQ286084

List of research outcomes

Publication	Date of Publication	Type
The delay and window size problems in rule-based stream reasoning	2022-04-11	Paper
The Complexity and Expressive Power of Limit Datalog	2022-03-31	Paper
Foundations of ontology-based data access under bag semantics	2019-08-28	Paper
Complexity and expressive power of weakly well-designed SPARQL	2018-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q5276183	2017-07-14	Paper
Clausal tableaux for hybrid PDL	2016-10-07	Paper
Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies	2016-05-19	Paper
Module extraction in expressive ontology languages via Datalog reasoning	2016-03-03	Paper
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner	2015-11-25	Paper
A goal-directed decision procedure for hybrid PDL	2015-06-23	Paper
Hybrid Tableaux for the Difference Modality	2015-03-23	Paper
InKreSAT: modal reasoning via incremental reduction to SAT	2013-06-14	Paper
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics	2011-07-01	Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies	2011-05-26	Paper
A finite axiomatization of propositional type theory in pure lambda calculus	2011-03-30	Paper
Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles	2010-10-27	Paper
Clausal graph tableaux for hybrid logic with eventualities and difference	2010-10-12	Paper
Terminating Tableaux for Hybrid Logic with Eventualities	2010-09-14	Paper
Terminating tableau systems for hybrid logic with difference and converse	2010-01-06	Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies	2009-12-01	Paper
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse	2008-11-27	Paper

Research outcomes over time

This page was built for person: Mark Kaminski