Property Preservation and Composition with Guarantees: From ASSERT to CHESS.

Tullio Vardanega

Published in: ISORC (2009)

Keyphrases

evaluation function
artificial intelligence
desirable properties
web service composition
information systems
student model
databases
data mining
genetic algorithm
computer vision
decision trees
long term
global consistency
game tree search