Markus Krötzsch, Sebastian Rudolph. Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 963-968, IJCAI/AAAI, 2011. [doi]
Abstract is missing.