Browse by Person
Up a level |
Jump to: 2020
Number of items: 1.
2020
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.