Mark Kaminski

Mark Kaminski

University of Oxford - Oxford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 915066
person_outline Mark Kaminski's MOST POPULAR ARTICLES
1-) Spartacus: A tableau prover for hybrid logicD Götzmann, M Kaminski, G SmolkaElectronic Notes in Theoretical Computer Science 262, 127-139, 2010652010
2-) PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog ReasonerY Zhou, BC Grau, Y Nenov, M Kaminski, I HorrocksJournal of Artificial Intelligence Research (JAIR) 54, 309-367, 2015572015
3-) Module Extraction in Expressive Ontology Languages via Datalog ReasoningA Armas Romero, M Kaminski, B Cuenca Grau, I HorrocksJournal of Artificial Intelligence Research (JAIR) 55, 499-564, 201656*2016
4-) Reasoning over Streaming Data in Metric Temporal DatalogPA Wałęga, M Kaminski, B Cuenca GrauAAAI 2019, 3092-3099, 2019512019
5-) Terminating tableau systems for hybrid logic with difference and converseM Kaminski, G SmolkaJournal of Logic, Language and Information 18 (4), 437-464, 2009452009