Login / Signup
A Package for Inductive Relation Definitions in HOL.
Thomas F. Melham
Published in:
TPHOLs (1991)
Keyphrases
</>
inductive learning
inductive logic programming
formal methods
software package
case study
data structure
data sets
feature selection
multi agent
knowledge representation
rule learning
binary relations
approximation spaces