2016

Gutierrez Basulto, V. and Jung, J.C. and Kontchakov, Roman (2016) On decidability and tractability of querying in temporal EL. In: UNSPECIFIED (ed.) Proceedings of the 29th International Workshop on Description Logics. CEUR-WS.

Gutiérrez-Basulto, V. and Jung, J.C. and Kontchakov, Roman (2016) Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California, USA: AAAI Press, pp. 1102-1108. ISBN 9781577357704.

5 August 2019

Jung, J.C. and Papacchini, F. and Wolter, F. and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: UNSPECIFIED (ed.) 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM. ISBN 9781728136080.