Login / Signup
A representation of recursively enumerable sets through Horn formulas in higher recursion theory.
Juan A. Nido Valencia
Julio Solís-Daun
Luis M. Villegas Silva
Published in:
Period. Math. Hung. (2016)
Keyphrases
</>
learning tasks
horn formulas
supervised learning
kernel methods
multi label
lower bound
deductive databases
inductive inference
knowledge compilation