Positive Inductive-Recursive Definitions.

Neil Ghani Lorenzo Malatesta Fredrik Nordvall Forsberg

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

recursive programs
positive and negative
machine learning
data sets
inductive learning
artificial intelligence
inductive logic programming
program synthesis
real time
multiscale
mobile robot
inductive reasoning
deductive reasoning
precise definition
functional programs
inductive concept learning