Proof Tactics for Theorem Proving Graph Grammars through Rodin.
Luiz Carlos Lemor Jr.Simone André da Costa CavalheiroLuciana FossPublished in: RITA (2015)
Keyphrases
- theorem proving
- graph grammars
- proof planning
- theorem prover
- geometry theorem proving
- automated theorem proving
- first order logic
- context sensitive
- automated reasoning
- decision procedures
- term rewriting
- proof procedure
- proof search
- inference rules
- parallel search
- context free
- production rules
- natural deduction
- parameter learning
- machine learning
- graph databases
- consequence finding
- concept formation
- markov random field
- bayesian networks