On the Confluence of the Graphic Calculus with Penrose Diagrams (I).
José Luis Freire-NistalAntonio Blanco FerroJ. M. Molinelli BarbaEnrique Freire BrañasPublished in: EUROCAST (1) (2011)
Keyphrases
- temporal reasoning
- rewrite systems
- graphical representation
- automated deduction
- graphical representations
- term rewriting
- artificial intelligence
- formal language
- database query languages
- algebraic structure
- hand drawn
- relational calculus
- neural network
- real numbers
- evolutionary algorithm
- database systems
- learning algorithm
- genetic algorithm