Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.
Pedro R. D'ArgenioDaniel GeblerMatias David LeePublished in: FoSSaCS (2014)
Keyphrases
- probabilistic relational
- rule sets
- evaluation metrics
- bayesian networks
- probabilistic model
- connected components
- probabilistic logic
- neural network
- association rule mining
- classification rules
- generative model
- fuzzy sets
- conditional probabilities
- domain knowledge
- rule induction
- rule extraction
- association rules
- rule discovery
- optimal planning
- information systems