Standard Type Soundness for Agents and Artifacts.
Ferruccio DamianiPaola GianniniAlessandro RicciMirko ViroliPublished in: Sci. Ann. Comput. Sci. (2012)
Keyphrases
- multi agent systems
- multiagent systems
- multi agent
- software agents
- autonomous agents
- multiple agents
- decision making
- intelligent agents
- cooperative
- agent architecture
- database
- dynamic environments
- high quality
- incomplete information
- artificial agents
- mobile agents
- trust model
- agent technology
- agent model
- action selection
- learning agents
- reactive agents
- agent receives