Login / Signup

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B.

Ammar Alhaj AliRoman JasekSaid KrayemPetr Zacek
Published in: CSOC (2) (2017)
Keyphrases
  • multi agent systems
  • event detection
  • agent technology
  • real world
  • genetic algorithm
  • data structure
  • expert systems
  • intelligent agents
  • autonomous agents
  • agent systems
  • agent platform