A Formal Specification Language for Agent Conversations.
F. Javier Soriano CaminoFernando Alonso AmoGenoveva López GómezPublished in: CEEMAS (2003)
Keyphrases
- formal specification language
- multi agent systems
- multi agent
- temporal logic
- multiagent systems
- intelligent agents
- mobile agents
- autonomous agents
- agent model
- dynamic environments
- agent systems
- software agents
- formal specification
- case study
- virtual agents
- multiple agents
- decision making
- learning environment
- agent communication
- learning agent
- formal methods
- action selection
- agent architecture
- content analysis
- learning algorithm
- electronic commerce