Keyphrases
- first order logic
- sequent calculus
- inference rules
- cut elimination
- expressive power
- theorem prover
- theorem proving
- natural deduction
- propositional logic
- knowledge representation
- markov networks
- probabilistic reasoning
- incomplete information
- logical framework
- horn clauses
- representation language
- transitive closure
- predicate calculus
- modal logic
- inductive logic programming
- linear logic
- linear time temporal logic
- markov logic
- markov logic networks