Structured Operational Semantics for Graph Rewriting
Andrei DormanTobias HeindelPublished in: ICE (2011)
Keyphrases
- operational semantics
- structured data
- rewriting systems
- rewriting rules
- formal semantics
- model theoretic
- mental states
- activity diagrams
- denotational semantics
- conjunctive queries
- databases
- data model
- cooperative
- graph databases
- language learning
- software systems
- speech acts
- mobile robot
- bayesian networks
- artificial intelligence
- machine learning