Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

Favio E. Miranda-Perea Lourdes Del Carmen González-Huesca

Published in: LSFA (2011)

Keyphrases

inductive learning
machine learning
inductive inference
inductive logic programming
concept learning
feature selection
website
special case
database
data sets
neural network
decision making
similarity measure
knowledge representation
standard deviation
predicate invention