Keyphrases
- deductive reasoning
- classical logic
- logic programming
- modal logic
- inductive learning
- knowledge representation
- bayesian networks
- predicate logic
- knowledge building
- machine learning
- multi valued
- bayesian learning
- content analysis
- bayesian estimation
- logical framework
- maximum likelihood
- set theory
- data mining
- bayesian inference
- concept learning
- gaussian processes
- inductive inference
- inductive logic programming
- posterior probability
- defeasible logic
- data driven
- recursive programs
- bayesian decision