Automatic Generation of Proof Search Strategies for Second-order Logic.
Raul H. C. LopesPublished in: CADE (1999)
Keyphrases
- search strategies
- proof theory
- natural deduction
- linear logic
- search strategy
- proof search
- search algorithm
- heuristic search
- proof theoretic
- theorem prover
- search methods
- constraint programming
- evolutionary algorithm
- logic programming
- logical rules
- selection strategies
- theorem proving
- neural network
- search procedures
- sat solvers
- modal logic
- retrieval effectiveness
- cost function
- constraint satisfaction
- automated reasoning
- inference rules
- sequent calculus
- digital libraries
- branch and bound