Keyphrases
- data structure
- theorem proving
- automated reasoning
- horn clauses
- logic programming
- modal logic
- multi valued
- classical logic
- lattice theory
- equational theories
- information retrieval
- proof theory
- natural deduction
- logical framework
- computational properties
- defeasible logic
- nonmonotonic logics
- probabilistic logic
- expressive power
- expert systems
- genetic algorithm