Login / Signup
A Formalization of Brouwer's Argument for Bar Induction.
Ryota Akiyoshi
Published in:
WoLLIC (2018)
Keyphrases
</>
inductive learning
formal representation
knowledge representation
program synthesis
machine learning
inductive logic programming
formal model
rule induction
data sets
inductive inference
constructive induction
data mining
explanation based learning
formal analysis
inductive reasoning
legal argument