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]

Authors

Hendrik Blockeel

This author has not been identified. Look up 'Hendrik Blockeel' in Google

Svetlana Valevich

This author has not been identified. Look up 'Svetlana Valevich' in Google