Beyond Bisimulation: The "up-to" Techniques.

Davide Sangiorgi

Published in: FMCO (2005)

Keyphrases

equivalence relation
optimal planning
artificial intelligence
database
genetic algorithm
pattern recognition
co occurrence
natural language
control system
rough sets
decision trees
reinforcement learning
association rules
evolutionary algorithm
data management