Browse by Person
 | Up a level |
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.
2024
Jung, J.C. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2024) Extremal separation problems for Temporal Instance Queries. In: Larson, K. (ed.) Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. AAAI, pp. 3448-3456. ISBN 9781956792041.
Jung, J.C. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2024) Unique characterisability and learnability of temporal queries mediated by an ontology. In: Marquis, P. and Ortiz, M. and Pagnucco, M. (eds.) Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. IJCAI, pp. 487-497. ISBN 9781956792058.