The theory of active agents for simulating dynamical networks and its π-calculus specification.
Paola LeccaAngela RePublished in: ICoMS (2021)
Keyphrases
- multi agent systems
- multi agent
- intelligent agents
- multiagent systems
- computer algebra
- bounded rationality
- high level
- mobile agents
- autonomous agents
- formal methods
- algebraic structure
- formal specification
- principal agent
- cooperative
- social choice
- general theory
- network topologies
- social networks
- agent model
- agent technology
- process algebra
- decision making
- formal theory
- artificial agents
- multiple agents
- agent architecture
- formal language
- speech acts
- asynchronous circuits
- agent systems
- provably correct
- decision theoretic
- transition systems
- dynamic environments
- communicative acts