Towards an Executable Specification of Multi-Agent Systems.
Vincent HilaireThomas LissajouxAbder KoukamPublished in: ICEIS (1999)
Keyphrases
- multi agent systems
- formal specification
- multi agent
- cooperative
- attribute grammars
- agent architecture
- autonomous agents
- software agents
- specification language
- intelligent agents
- distributed problem solving
- process algebra
- high level
- user defined
- game theory
- complex systems
- trust model
- agent technology
- single agent
- concurrent systems
- reactive systems
- genetic algorithm
- normative systems
- agent oriented
- formal methods
- coalition formation
- model checking
- multiagent systems
- information systems