The cognitive agents specification language and verification environment for multiagent systems.
Steven ShapiroYves LespéranceHector J. LevesquePublished in: AAMAS (2002)
Keyphrases
- multiagent systems
- specification language
- cognitive agents
- autonomous agents
- open systems
- multi agent
- software environment
- programming language
- formal specification
- multi agent systems
- multiagent reinforcement learning
- description language
- learning in multi agent systems
- bdi agents
- coalition formation
- design methodologies
- mobile robot
- model checking
- computational intelligence
- software agents
- intelligent agents
- dynamic environments
- object oriented
- cooperative