Inference of termination conditions for numerical loops in Prolog
Alexander SerebrenikDanny De SchreyePublished in: CoRR (2001)
Keyphrases
- inference engine
- expert systems
- backward chaining
- inference process
- probabilistic inference
- knowledge base
- sufficient conditions
- sensitivity analysis
- logic programming
- bayesian inference
- finite difference
- rule base
- programming language
- knowledge representation
- bayesian networks
- rewrite systems
- neural network
- numerical analysis
- structured prediction
- numerical data
- inference rules
- qualitative and quantitative
- data model
- website