Realizability for Monotone and Clausular (Co)inductive Definitions.

Favio E. Miranda-Perea

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

information retrieval
upper bound
machine learning
inductive logic programming
inductive learning
three dimensional
knowledge representation
boolean functions
image processing
uniform distribution
inductive inference
inductive reasoning
functional programs