Browse by Person
 | Up a level |
Book Section
Kontchakov, Roman and Pandolfo, L. and Pulina, L. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2016) Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California USA: AAAI Press, pp. 1160-1166. ISBN 9781577357704.
Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press, pp. 836-841. ISBN 9781577354260.