Keyphrases
- predicate calculus
- formal model
- first order logic
- lambda calculus
- predicate logic
- semantic network
- theorem proving
- theorem prover
- feature selection
- training data
- high level
- training examples
- support vector
- proof procedure
- semantic net
- feature set
- classification algorithm
- decision trees
- support vector machine
- multi class
- supervised learning
- training set
- feature space
- bayesian networks
- machine learning