Guards, Preconditions, and Refinement in Z.

Ralph Miarka Eerke A. Boiten John Derrick

Published in: ZB (2000)

Keyphrases

explanation based learning
database
refinement process
neural network
machine learning
action models
feature selection
decision making
multimedia
multi agent
multiresolution
special case
query refinement