Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.
Luiz Carlos Lemos JuniorSimone André da Costa CavalheiroLuciana FossPublished in: WEIT (2013)
Keyphrases
- theorem proving
- graph grammars
- theorem prover
- proof planning
- decision procedures
- geometry theorem proving
- automated reasoning
- inference rules
- automated theorem proving
- proof procedure
- proof search
- first order logic
- context sensitive
- term rewriting
- consequence finding
- context free
- high level
- parallel search
- natural deduction
- machine learning
- training data