A Theory of Formal Synthesis via Inductive Learning.
Susmit JhaSanjit A. SeshiaPublished in: CoRR (2015)
Keyphrases
- inductive learning
- domain theory
- knowledge acquisition
- lazy learning
- meta learning
- machine learning
- explanation based learning
- mathematical theory
- inductive logic programming
- formal methods
- concept descriptions
- formal models
- mathematical foundations
- feature generation
- logic synthesis
- ripple down rules
- high dimensional