Keyphrases
- inference engine
- backward chaining
- expert systems
- logic programming
- prolog programs
- bayesian model
- probabilistic inference
- decision trees
- np complete
- abstract machine
- programming paradigms
- constraint logic programming
- inference mechanism
- decision theoretic
- bayesian inference
- real world
- knowledge based systems
- information extraction
- knowledge representation
- high level
- knowledge base
- learning algorithm
- machine learning