Mark Kaminski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The delay and window size problems in rule-based stream reasoning Artificial Intelligence	2022-04-11	Paper
The Complexity and Expressive Power of Limit Datalog Journal of the ACM	2022-03-31	Paper
Foundations of ontology-based data access under bag semantics Artificial Intelligence	2019-08-28	Paper
Complexity and expressive power of weakly well-designed SPARQL Theory of Computing Systems	2018-07-16	Paper
Beyond well-designed SPARQL	2017-07-14	Paper
Clausal tableaux for hybrid PDL Electronic Notes in Theoretical Computer Science	2016-10-07	Paper
Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies Artificial Intelligence	2016-05-19	Paper
Module extraction in expressive ontology languages via Datalog reasoning The Journal of Artificial Intelligence Research (JAIR)	2016-03-03	Paper
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner Journal of Artificial Intelligence Research	2015-11-25	Paper
A goal-directed decision procedure for hybrid PDL Journal of Automated Reasoning	2015-06-23	Paper
Hybrid tableaux for the difference modality Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
InKreSAT: modal reasoning via incremental reduction to SAT Automated Deduction – CADE-24	2013-06-14	Paper
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics Lecture Notes in Computer Science	2011-07-01	Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies Logical Methods in Computer Science	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 IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Clausal graph tableaux for hybrid logic with eventualities and difference Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Terminating Tableaux for Hybrid Logic with Eventualities Automated Reasoning	2010-09-14	Paper
Terminating tableau systems for hybrid logic with difference and converse Journal of Logic, Language and Information	2010-01-06	Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies Lecture Notes in Computer Science	2009-12-01	Paper
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse Automated Reasoning	2008-11-27	Paper

Research outcomes over time

This page was built for person: Mark Kaminski