Containers, monads and induction recursion.

Neil Ghani Peter G. Hancock

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

inductive learning
program synthesis
complex objects
deductive databases
machine learning
inductive logic programming
concept learning
rule induction
inductive reasoning
support vector
search algorithm
multi agent systems
inductive inference
discovery process
datalog programs
attribute oriented