Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.
Daniela BriolaViviana MascardiDavide AnconaPublished in: CILC (2014)
Keyphrases
- multiagent systems
- multi agent systems
- agent technology
- multi agent
- distributed artificial intelligence
- distributed constraint optimization problems
- cooperative
- autonomous agents
- agent coordination
- decentralized control
- multiagent architecture
- programming language
- bdi agents
- multiagent planning
- distributed systems
- coalition formation
- trust model
- game theory
- software agents
- agent based systems
- multiagent reinforcement learning
- learning agents
- multiagent learning
- model checking
- mobile agents
- intelligent agents
- peer to peer