Two Realizability Interpretations of Monotone Inductive Definitions.

Published in: Int. J. Found. Comput. Sci. (1994)

Keyphrases

inductive learning
upper bound
inductive reasoning
boolean functions
machine learning
rule learning
inductive inference
computer vision
case study
knowledge representation
logic programming
uniform distribution
functional programs
inductive concept learning