Vérification automatique de logiques orientées agent.
Pierre-Yves SchobbensPublished in: JFIADSMA (2001)
Keyphrases
- multi agent systems
- autonomous agents
- multi agent
- decision making
- agent architecture
- multiagent systems
- multiple agents
- agent systems
- mobile agents
- agent model
- intelligent agents
- software agents
- dynamic environments
- practical reasoning
- conversational agent
- neural network
- agent platform
- virtual agents
- interacting agents
- action selection
- pedagogical agents
- decision theoretic
- cooperative
- case study
- learning algorithm