Special issue on learning techniques for compositional reasoning.

Dimitra Giannakopoulou Corina S. Pasareanu

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

special issue
learning process
hybrid learning
international journal
learning algorithm
data mining
knowledge acquisition
knowledge base
decision trees
prior knowledge
active learning
learning systems
learning tasks