A new rule for almost-certain termination of probabilistic and demonic programs.
Annabelle McIverCarroll MorganPublished in: CoRR (2016)
Keyphrases
- rule sets
- termination analysis
- computer programs
- classification rules
- inference process
- active rules
- probabilistic logic
- probabilistic model
- generative model
- association rules
- bayesian networks
- probabilistic approaches
- data sets
- databases
- probabilistic logic programs
- rule discovery
- programming environment
- active databases
- rule induction
- belief networks
- uncertain data
- context sensitive
- posterior probability
- data driven
- knowledge representation
- case study
- website
- information systems
- data mining
- neural network