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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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