Structural subtyping for inductive types with functorial equality rules.

Zhaohui Luo Robin Adams

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

machine learning
rule learning
knowledge representation
structural information
inductive learning
information systems
association rules
knowledge discovery
decision rules
rule sets
rule induction
genetic algorithm
background knowledge