cTI: A constraint-based termination inference tool for ISO-Prolog
Frédéric MesnardRoberto BagnaraPublished in: CoRR (2003)
Keyphrases
- inference engine
- bayesian networks
- backward chaining
- real time
- artificial intelligence
- image segmentation
- logic programming
- probabilistic inference
- memory space
- information retrieval
- e learning
- neural network
- expert systems
- relational databases
- knowledge acquisition
- bayesian inference
- software tools
- data sets
- forward chaining
- database