Explaining Verifier Traces with Explanation Based Learning.
Daniel BrycePublished in: AAAI Spring Symposia (2014)
Keyphrases
- explanation based learning
- domain theory
- machine learning
- inductive learning
- inference rules
- control knowledge
- search control rules
- macro operators
- learned knowledge
- learned rules
- search control knowledge
- blocks world
- dependency directed backtracking
- neural network
- programming language
- small number
- high level
- data mining