Keyphrases
- proof planning
- probabilistic model
- bayesian networks
- proof search
- probabilistic approaches
- theorem prover
- cost based abduction
- uncertain data
- information theoretic
- inductive learning
- theorem proving
- machine learning
- conditional probabilities
- generative model
- inductive logic programming
- context sensitive
- belief networks
- concept learning
- subgroup discovery
- concept formation
- linear logic
- knowledge discovery
- active learning