The Freedoms of Guarded Bisimulation.

Published in: CSL (2011)

Keyphrases

fixed point
probabilistic databases
data sets
equivalence relation
multi agent systems
tree decompositions
data mining
machine learning
clustering algorithm
search algorithm
rough sets
horn clauses
optimal planning