Declarative representation of strategic control knowledge.

Michel Benaroch

Published in: Int. J. Hum. Comput. Stud. (2001)

Keyphrases

control knowledge
domain independent
domain knowledge
domain specific
domain dependent
explanation based learning
training data
learning algorithm
knowledge representation
model checking
control rules