A Simple Framework for Theta-Subsumption Testing in Prolog

Hendrik Blockeel, Svetlana Valevich. A Simple Framework for Theta-Subsumption Testing in Prolog. 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 14-19, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.