Monotone Inductive Definitions in a Constructive Theory of Functions and Classes.

Shuzo Takahashi

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

inductive logic programming
inductive learning
neural network
boolean functions
theoretical basis
general theory
formal theory
finite model theory
real time
data sets
upper bound
rough sets
theoretical framework
inductive inference
functional programs