Skip to content

A Simple Framework for Theta-Subsumption Testing in Prolog.

Hendrik Blockeel, Svetlana Valevich

VenueBILP
Year2016
ProceedingsILP (Short Papers)

Browse the full ILP paper archive.