Keyphrases
- inference rules
- first order logic
- modal logic
- theorem prover
- logical framework
- theorem proving
- sequent calculus
- logic programming language
- databases
- horn clauses
- semantic web rule language
- set of inference rules
- proof search
- natural deduction
- probabilistic knowledge
- binary relations
- conditional probabilities
- training examples
- search algorithm
- feature extraction