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
https://portal.mardi4nfdi.de/entity/Q3086781	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark Kaminski