Keyphrases
- theorem proving
- decision procedures
- inductive logic programming
- gray level
- automated reasoning
- theorem prover
- modal logic
- defeasible logic
- temporal resolution
- first order logic
- constraint propagation
- equational theories
- inference rules
- mathematical proofs
- formal proofs
- data mining
- horn clauses
- background knowledge
- natural deduction
- genetic algorithm