Another Look at Automated Theorem-Proving.
Neal KoblitzPublished in: IACR Cryptol. ePrint Arch. (2007)
Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- classical logic
- inference rules
- data mining
- high level
- active learning
- sufficient conditions
- search space
- relational databases
- training data
- knowledge representation
- constraint satisfaction
- search strategy
- data model
- search algorithm
- bayesian networks