Login / Signup
Integrating Induction and Coinduction via Closure Operators and Proof Cycles.
Liron Cohen
Reuben N. S. Rowe
Published in:
IJCAR (1) (2020)
Keyphrases
</>
closure operator
closed sets
mining algorithm
inductive logic programming
preprocessing
fixed point
data sets
data mining
machine learning
inductive inference