Subtyping by Folding an Inductive Relation into a Coinductive One.

Vladimir Komendantsky

Published in: Trends in Functional Programming (2011)

Keyphrases

inductive learning
neural network
machine learning
decision trees
rule learning
real time
databases
real world
knowledge base
image sequences
multi agent systems
probabilistic model
knowledge representation
inductive reasoning