LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL.
Yutaka NagashimaPublished in: CoRR (2019)
Keyphrases
- theorem prover
- natural deduction
- programming language
- functional programs
- first order logic
- proof planning
- theorem proving
- higher order logic
- language learning
- inductive learning
- inference rules
- data sets
- natural language
- search algorithm
- heuristic search
- description logics
- expert systems
- inductive inference
- object oriented programming
- concept formation
- constructive induction
- decision trees
- data mining