Graph explorer

Michael Zakharyaschev

Michael Zakharyaschev contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMichael Zakharyaschev
13 nodes12 links
Michael Zakharyaschev13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMichael ZakharyaschevResearcherWOn the Decidability of ...preprint / 2011WExponential Lower Bound...preprint / 2012WTemporal Description Lo...preprint / 2013WThe DL-Lite Family and ...preprint / 2014WOn the Succinctness of ...preprint / 2014WA Cookbook for Temporal...preprint / 2014WSpatial logics with con...preprint / 2010WA tetrachotomy of ontol...preprint / 2022WTheoretically Optimal D...preprint / 2016WOntology-Mediated Queri...preprint / 2016WQuery-Based Entailment ...preprint / 2016WUnique Characterisabili...preprint / 2022
PersonSignal 1012 links

Michael Zakharyaschev

Researcher

Open