A theory of formal synthesis via inductive learning.
Susmit JhaSanjit A. SeshiaPublished in: Acta Informatica (2017)
Keyphrases
- inductive learning
- domain theory
- knowledge acquisition
- meta learning
- lazy learning
- machine learning
- explanation based learning
- mathematical foundations
- feature generation
- mathematical theory
- inductive logic programming
- logic synthesis
- concept learning
- formal methods
- formal models
- formal model
- constructive induction
- classification trees
- decision trees
- general purpose
- concept descriptions
- data mining
- logic programs