BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 2.

    Book Section

    Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2020) Boolean Role Inclusions in DL-Lite with and without time. In: Calvanese, D. and Erdem, E. and Thielscher, M. (eds.) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). California, U.S.: IJCAI Organization, pp. 582-591. ISBN 9780999241172.

    Calì, Andrea and Gottlob, G. and Orsi, G. and Pieris, A. (2012) On the interaction of existential rules and equality constraints in ontology querying. In: Erdem, E. and Lee, J. and Lierler, Y. and Pearce, D. (eds.) Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265. Berlin, Germany: Springer, pp. 117-133. ISBN 9783642307423.

    This list was generated on Mon Dec 23 06:16:13 2024 GMT.