Calculating and Composing Progress Properties in Terms of the Leads-to Relation.

Published in: ICFEM (2007)

Keyphrases

desirable properties
evolutionary algorithm
real world
decision making
web pages
three dimensional
bayesian networks
fuzzy relations