Zakharyaschev Michael

Presentations in Math-Net.Ru

1. Kripke completeness of strictly positive modal logics over meet-semilattices with operators
   M. Zakharyaschev
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 18, 2017 15:00   
2. On ontology-based data access
   Michael Zakharyaschev
   International workshop "Logical Models of Reasoning and Computation"
   February 2, 2012 15:30   
3. Islands of tractability for relational constraints: towards dichotomy results for the description logic $\mathcal{EL}$
   Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 24, 2010 10:50