Towards Theorem Proving Graph Grammars using Event-B.
Leila RibeiroFernando Luís DottiSimone André da CostaFabiane Cristine DillenburgPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- theorem proving
- graph grammars
- first order logic
- context sensitive
- theorem prover
- inference rules
- proof planning
- term rewriting
- parallel search
- consequence finding
- proof procedure
- geometry theorem proving
- context free
- graph databases
- parameter learning
- expert systems
- production rules
- context dependent
- intelligent agents