Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.
Luiz Carlos Lemos JuniorSimone André da Costa CavalheiroLuciana FossPublished in: SBMF (2013)
Keyphrases
- theorem proving
- graph grammars
- theorem prover
- proof planning
- automated theorem proving
- first order logic
- decision procedures
- automated reasoning
- inference rules
- geometry theorem proving
- proof procedure
- parallel search
- proof search
- context sensitive
- term rewriting
- consequence finding
- natural deduction
- mathematical knowledge
- parameter learning
- graph databases
- production rules
- intelligent agents
- semi supervised