Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.

Markus Krtzsch, Sebastian Rudolph

Browse the full IJCAI paper archive.