Mark Kaminski
Senior Researcher
Department of Computer Science
University of Oxford
United Kingdom
Biography
Mark Kaminski odtained his PhD from Saarland University in Saarbrücken, Germany under the supervision of Gert Smolka. In January 2013, he joined the Information Systems Group as a Research Assistant to work on the EPSRC project Score!. Since February 2016, he is working as a Senior Researcher on the EPSRC project ED3.
Research Interest
Mark's research interest includes: global modalities and role hierarchies, Datalog Rewritability of Disjunctive Datalog Programs.
Publications
-
Kaminski M, Smolka G. Hybrid tableaux for the difference modality. Electronic Notes in Theoretical Computer Science. 2009 Mar 25;231:241-57.
-
Kaminski M, Schneider S, Smolka G. Terminating tableaux for graded hybrid logic with global modalities and role hierarchies. InInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods 2009 Jul 6 (pp. 235-249). Springer Berlin Heidelberg.
-
Götzmann D, Kaminski M, Smolka G. Spartacus: A tableau prover for hybrid logic. Electronic Notes in Theoretical Computer Science. 2010 May 12;262:127-39.
-
Kaminski M, Smolka G. Terminating tableau systems for hybrid logic with difference and converse. Journal of Logic, Language and Information. 2009 Oct 1;18(4):437-64.
