Publications of Michael Zakharyaschev
2012
| , , and , Exponential Lower Bounds and Separation for Query Rewriting, in: ICALP (2), pages 263-274, 2012 |
[DOI] |
2011
| , and (eds.), Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, CEUR-WS.org, 2011 |
| , , , and , The Combined Approach to Ontology-Based Data Access, in: IJCAI, pages 2656-2661, 2011 |
2009
| , , and , The DL-Lite Family and Relations (2009), in: J. Artif. Intell. Res. (JAIR), 36(1-69) |
[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 |
|