Specification of Multi-Agent Systems in the Gamma Language.
Hong LinChunsheng YangPublished in: CCECE (2006)
Keyphrases
- multi agent systems
- specification language
- programming language
- formal language
- multi agent
- action language
- formal languages
- language learning
- operational semantics
- high level
- agent architecture
- modelling language
- language processing
- natural language
- agent technology
- agent oriented
- description language
- formal verification
- formal methods
- object oriented programming
- neural network
- game theory
- cooperative
- artificial intelligence