Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Mark Kaminski
Researcher
PaperA Minimal Propositional Type TheoryAuthorship / preprint / 2010PaperCorrectness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with EventualitiesAuthorship / preprint / 2012PaperDatalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology ReasoningAuthorship / preprint / 2014PaperComputing Horn Rewritings of Description Logics OntologiesAuthorship / preprint / 2015PaperTerminating Tableaux for Graded Hybrid Logic with Global Modalities and Role HierarchiesAuthorship / preprint / 2011PaperOntology Module Extraction via Datalog ReasoningAuthorship / preprint / 2014