Verifying a Behavioural Logic for Graph Transformation Systems.
Paolo BaldanAndrea CorradiniBarbara KönigBernhard KönigPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- graph transformation
- complex systems
- bayesian networks
- multi agent
- building blocks
- management system
- asynchronous circuits
- digital circuits
- model checking
- logic programming
- knowledge based systems
- intelligent systems
- database
- mobile robot
- search algorithm
- metadata
- computer vision
- artificial intelligence
- information retrieval
- neural network