BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 3.

    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.

    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.

    This list was generated on Thu Oct 10 06:21:33 2024 BST.