Monotone Inductive Definitions in Explicit Mathematics.

Michael Rathjen

Published in: J. Symb. Log. (1996)

Keyphrases

inductive learning
upper bound
inductive logic programming
optimal solution
computer science
artificial neural networks
uniform distribution
database
lower bound
knowledge representation
boolean functions