Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag-Khelif. A new Model for Scalable θ-subsumption. In James Cussens, Alessandra Russo, editors, Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016. Volume 1865 of CEUR Workshop Proceedings, pages 41-47, CEUR-WS.org, 2016. [doi]
Abstract is missing.