Login / Signup
Definite Clause Programs are Canonical (over a suitable domain).
Howard A. Blair
Allen L. Brown Jr.
Published in:
Ann. Math. Artif. Intell. (1990)
Keyphrases
</>
definite clause
domain specific
active learning
inductive logic programming
pac learnability
feature selection
semi supervised