Inference of Termination Conditions for Numerical Loops in Prolog.
Alexander SerebrenikDanny De SchreyePublished in: LPAR (2001)
Keyphrases
- inference engine
- backward chaining
- expert systems
- inference process
- bayesian inference
- programming language
- sufficient conditions
- sensitivity analysis
- logic programming
- forward chaining
- knowledge base
- bayesian networks
- numerical methods
- probabilistic reasoning
- numerical analysis
- rewrite systems
- data sets
- belief networks
- information extraction
- relational databases
- case study
- genetic algorithm
- data mining
- neural network