Keyphrases
- inference rules
- first order logic
- theorem proving
- logical framework
- theorem prover
- logic programming language
- sequent calculus
- modal logic
- set of inference rules
- probabilistic knowledge
- horn clauses
- truth values
- conditional probabilities
- small number
- knowledge representation
- relational databases
- knowledge base
- learning algorithm