A flexible framework for verifying agent programs.
Louise A. DennisBerndt FarwerRafael H. BordiniMichael FisherPublished in: AAMAS (3) (2008)
Keyphrases
- agent programming
- multi agent systems
- multiagent systems
- intelligent agents
- multi agent
- agent model
- multiple agents
- autonomous agents
- mobile agents
- dynamic logic
- software agents
- decision making
- agent oriented
- dynamic environments
- agent technology
- cognitive agents
- agent systems
- cooperating agents
- agent architecture
- model checking
- cooperative
- information systems
- decision theoretic
- fixpoint
- reinforcement learning
- case study
- social welfare
- bdi agents
- artificial agents
- artificial intelligence
- neural network
- real time