Keyphrases
- neural network
- databases
- probabilistic model
- generative model
- artificial intelligence
- theorem proving
- information theoretic
- formal proof
- probabilistic approaches
- uncertain data
- context sensitive
- conditional probabilities
- data driven
- graphical models
- artificial neural networks
- relational databases
- information systems
- search engine
- data mining