Sufficient Preconditions for Modular Assertion Checking.

Published in: VMCAI (2008)

Keyphrases

explanation based learning
consistency checking
modular structure
database
genetic algorithm
learning algorithm
artificial intelligence
decision making
objective function
multi agent systems
situation calculus
highly flexible
modular neural network