Book Section

Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2012) Conjunctive query answering with OWL 2 QL. In: Brewka, G. and Eiter, T. and McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference. California, U.S.: AAAI Press, pp. 275-285. ISBN 9781577355601.

Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2008) Can you tell the difference between DL-Lite ontologies? In: Brewka, G. and Lang, J. (eds.) Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning (2008). California, U.S.: AAAI Press, pp. 285-295. ISBN 9781577353843.

Calì, Andrea and Gottlob, G. and Kifer, M. (2008) Taming the infinite chase: query answering under expressive relational constraints. In: Brewka, G. and Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. California, U.S.: AAAI Press, pp. 70-80. ISBN 9781577353843.

Amalfi, M. and Lo Presti, K. and Provetti, Alessandro and Salvetti, F. (2006) Finding instances of deduction and abduction in clinical experimental transcripts. In: Brewka, G. and Coradeschi, S. and Perini, A. and Traverso, P. (eds.) 17th European Conference on Artificial Intelligence: ECAI 2006. IOS Press 141. Frontiers in Artificial Intelligence and Applications, pp. 737-738. ISBN 9781586036423.

Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2000) Monodic epistemic predicate logic. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Moniz Pereira, L. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 329-344. ISBN 9783540411314.

Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.