Approximate Normalization and Eager Equality Checking for Gradual Inductive Families.

Joseph Eremondi Ronald Garcia Éric Tanter

Published in: CoRR (2021)

Keyphrases

inductive learning
machine learning
knowledge representation
preprocessing
knowledge acquisition
information systems
exact solution
equivalence relation
consistency checking
normalization method
inductive logic programming
inductive inference
rule learning