Monotone Inductive Definitions over the Continuum.

Douglas A. Cenzer

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

Keyphrases

inductive learning
machine learning
deductive reasoning
functional programs
computer vision
image processing
upper bound
database
case study
description logics
inductive logic programming
boolean functions
concept learning
inductive inference