Sound, Complete, and Minimal Query Rewriting for Existential Rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 3017-3021, IJCAI/AAAI, 2013. [doi]

Authors

Mélanie König

This author has not been identified. Look up 'Mélanie König' in Google

Michel Leclère

This author has not been identified. Look up 'Michel Leclère' in Google

Marie-Laure Mugnier

This author has not been identified. Look up 'Marie-Laure Mugnier' in Google

Michaël Thomazo

This author has not been identified. Look up 'Michaël Thomazo' in Google