First-Order Rewritability of Temporal Ontology-Mediated Queries

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. First-Order Rewritability of Temporal Ontology-Mediated Queries. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 2706-2712, AAAI Press, 2015. [doi]

Authors

Alessandro Artale

This author has not been identified. Look up 'Alessandro Artale' in Google

Roman Kontchakov

This author has not been identified. Look up 'Roman Kontchakov' in Google

Alisa Kovtunova

This author has not been identified. Look up 'Alisa Kovtunova' in Google

Vladislav Ryzhikov

This author has not been identified. Look up 'Vladislav Ryzhikov' in Google

Frank Wolter

This author has not been identified. Look up 'Frank Wolter' in Google

Michael Zakharyaschev

This author has not been identified. Look up 'Michael Zakharyaschev' in Google