Inference of termination conditions for numerical loops in Prolog.
Alexander SerebrenikDanny De SchreyePublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- inference engine
- expert systems
- logic programming
- sufficient conditions
- backward chaining
- sensitivity analysis
- probabilistic inference
- information systems
- neural network
- logic programs
- programming language
- databases
- knowledge representation
- hidden markov models
- first order logic
- knowledge base
- search engine
- bayesian inference
- theorem proving
- data mining
- environmental conditions
- bayesian model
- functional programming