Complexity and expressive power of weakly well-designed SPARQL by Kaminski, M, Kostylev, E

Sufficient Conditions for First−Order and Datalog Rewritability in ELU by Kaminski, M, Grau, B

A goal-directed decision procedure for hybrid PDL by Kaminski, M, Smolka, G

Beyond Well-Designed SPARQL by Kostylev, E, Kaminski, M

Computing horn rewritings of description logics ontologies by Kaminski, M, Cuenca Grau, B

Computational mechanics of composite materials : sensitivity, randomness, and multiscale behaviour / by Kaminski, M. M. (Marcin M.), 1969-

The stochastic perturbation method for computational mechanics / by Kaminski, M. M. (Marcin M.), 1969-

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies by Kaminski, M, Nenov, Y, Grau, BC

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning by Kaminski, M, Nenov, Y, Grau, B

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning by Kaminski, M, Nenov, Y, Grau, B

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning by Kaminski, M, Nenov, Y, Grau, B

Datalog rewriting techniques for non-Horn ontologies by Kaminski, M, Nenov, Y, Grau, BC

Semantics and expressive power of subqueries and aggregates in SPARQL 1.1 by Kaminski, M, Kostylev, E, Cuenca Grau, B

Reasoning over streaming data in metric temporal datalog by Walega, P, Kaminski, M, Cuenca Grau, B

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning by Kaminski, M, Nenov, Y, Cuenca Grau, B

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies by Cuenca Grau, B, Kaminski, M, Nenov, Y

Ontology module extraction via datalog reasoning by Romero, AA, Kaminski, M, Grau, BC, Horrocks, I

The delay and window size problems in rule-based stream reasoning by Ronca, A, Kaminski, M, Grau, BC, Horrocks, I

Module extraction in expressive ontology languages via datalog reasoning by Grau, B, Kaminski, M, Romero, A, Horrocks, I

Stream reasoning with DatalogMTL by Walega, P, Kaminski, M, Wang, D, Cuenca Grau, B