Stratified Certification for k-Induction.
Emily YuNils FroleyksArmin BiereKeijo HeljankoPublished in: CoRR (2022)
Keyphrases
- inductive learning
- third party
- constructive induction
- rule induction
- functional programs
- machine learning
- search algorithm
- inductive logic programming
- program synthesis
- version space
- subgroup discovery
- explanation based learning
- database
- real time
- inductive inference
- logic programs
- case study
- discovery process
- real world
- databases
- data sets