Keyphrases
- probability theory
- modal logic
- posterior probability
- probability distribution
- quantum computation
- multi valued
- conditional probabilities
- automated reasoning
- logic programming
- machine learning
- query language
- lower bound
- case study
- decision trees
- search engine
- computational properties
- predicate logic
- genetic algorithm