Keyphrases
- inference rules
- modal logic
- theorem proving
- first order logic
- logical framework
- theorem prover
- sequent calculus
- data mining
- horn clauses
- conditional probabilities
- truth values
- logic programming language
- small number
- probabilistic knowledge
- linear logic
- database
- text mining
- feature space
- training data
- decision trees
- artificial intelligence
- natural deduction
- proof search