DMCA

Determinate Literals in Inductive Logic Programming*

by A Recent System , Constructs Horn Clause