Mark Kaminski
TitleCited byYear
Spartacus: A tableau prover for hybrid logic
D Götzmann, M Kaminski, G Smolka
Electronic Notes in Theoretical Computer Science 262, 127-139, 2010
532010
Terminating tableau systems for hybrid logic with difference and converse
M Kaminski, G Smolka
Journal of Logic, Language and Information 18 (4), 437-464, 2009
452009
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
Y Zhou, BC Grau, Y Nenov, M Kaminski, I Horrocks
Journal of Artificial Intelligence Research (JAIR) 54, 309-367, 2015
322015
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
M Kaminski, Y Nenov, B Cuenca Grau
AAAI 2014, 1077-1083, 2014
272014
Module Extraction in Expressive Ontology Languages via Datalog Reasoning
A Armas Romero, M Kaminski, B Cuenca Grau, I Horrocks
Journal of Artificial Intelligence Research (JAIR) 55, 499-564, 2016
26*2016
Beyond Well-Designed SPARQL
M Kaminski, EV Kostylev
ICDT 2016, 2016
262016
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies
M Kaminski, S Schneider, G Smolka
Logical Methods in Computer Science 7 (1:5), 2011
262011
InKreSAT: Modal Reasoning via Incremental Reduction to SAT
M Kaminski, T Tebbi
CADE-24, 436-442, 2013
252013
Hybrid tableaux for the difference modality
M Kaminski, G Smolka
Electronic Notes in Theoretical Computer Science 231, 241-257, 2009
222009
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
M Kaminski, Y Nenov, B Cuenca Grau
Artificial Intelligence 236, 90-118, 2016
182016
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
M Kaminski, Y Nenov, B Cuenca Grau
RR 2014, 76-91, 2014
172014
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1
M Kaminski, E Kostylev, B Cuenca Grau
WWW 2016, 2016
162016
Terminating tableaux for hybrid logic with eventualities
M Kaminski, G Smolka
IJCAR 2010, 240-254, 2010
162010
Terminating tableaux for hybrid logic with the difference modality and converse
M Kaminski, G Smolka
IJCAR 2008, 210-225, 2008
162008
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
M Kaminski, T Schneider, G Smolka
TABLEAUX 2011, 196-210, 2011
112011
Stream Reasoning in Temporal Datalog
A Ronca, M Kaminski, B Cuenca Grau, B Motik, I Horrocks
AAAI 2018, 1941-1948, 2018
102018
Ontology Module Extraction via Datalog Reasoning
A Armas Romero, M Kaminski, B Cuenca Grau, I Horrocks
AAAI 2015, 1410-1416, 2015
10*2015
The Bag Semantics of Ontology-Based Data Access
C Nikolaou, EV Kostylev, G Konstantinidis, M Kaminski, B Cuenca Grau, ...
IJCAI 2017, 1224-1230, 2017
92017
Sufficient Conditions for First-Order and Datalog Rewritability in ELU
M Kaminski, B Cuenca Grau
DL 2013, 271-293, 2013
92013
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
M Kaminski, G Smolka
IFIP TCS 2010, 213-228, 2010
9*2010
The system can't perform the operation now. Try again later.
Articles 1–20