Publications of Michael Zakharyaschev
2012
Exponential Lower Bounds and Separation for Query Rewriting, in: ICALP (2), pages 263-274, 2012 | , , and ,
[DOI] |
2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, CEUR-WS.org, 2011 | , and (eds.),
The Combined Approach to Ontology-Based Data Access, in: IJCAI, pages 2656-2661, 2011 | , , , and ,
2009
The DL-Lite Family and Relations (2009), in: J. Artif. Intell. Res. (JAIR), 36(1-69) | , , and ,
[DOI] |
2003
The Complexity of Temporal Logic Model Checking, in: {S}elected {P}apers from the 4th {W}orkshop on {A}dvances in {M}odal {L}ogics ({AiML}'02), pages 393-436, King's College Publication, 2003 | ,
|