Keyphrases
- theorem proving
- automated theorem proving
- theorem prover
- formal proofs
- natural deduction
- pattern recognition
- answer set programming
- classical logic
- reinforcement learning
- mathematical proofs
- neural network
- equational theories
- formal proof
- decision procedures
- inference rules
- computer science
- object recognition
- support vector
- data mining