Adaptive Safety Arguments and Explanation-Based Learning.

Matt Timperley Maizura Mokhtar Joe M. Howe

Published in: SASSUR@SAFECOMP (2013)

Keyphrases

explanation based learning
domain theory
machine learning
inductive learning
search control rules
control knowledge
inference rules
learned rules
dependency directed backtracking
search control knowledge
domain knowledge
blocks world
learned knowledge
macro operators