• Jason

  • Referenced in 48 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason Jason is an Open Source interpreter ... enables users to build complex multi-agent systems that are capable of operating in environments ... book provides a brief introduction to multi-agent systems and the BDI agent architecture ... guide to using Jason to program multi-agent systems. Some of the examples include diagrams...
  • JADE

  • Referenced in 31 articles [sw11698]
  • language. It simplifies the implementation of multi-agent systems through a middle-ware that complies...
  • MCMAS

  • Referenced in 25 articles [sw09463]
  • Model Checker for the Verification of Multi-Agent Systems. While temporal logic in its various...
  • CArtAgO

  • Referenced in 14 articles [sw11700]
  • said virtual / application / software environments – for multi-agent systems. CArtAgO is based on the Agents ... meta-model for modelling and designing multi-agent systems. A&A introduces high-level metaphors ... taken from human cooperative working environments: agents as computational entities performing some kind of task/goal-oriented ... environments. So with CArtAgO, developers of multi-agent systems have finally a simple programming model...
  • MetaMorph

  • Referenced in 19 articles [sw01575]
  • manufacturing systems are not able to meet such requirements. This paper proposes an agent-based ... research literature, an adaptive multi-agent manufacturing system architecture called MetaMorph is presented ... features are described. Such architecture facilitates multi-agent coordination by minimizing communication and processing overheads ... architecture is implemented as a multi-agent virtual manufacturing system, in simulation form, which incorporates...
  • Moise+

  • Referenced in 17 articles [sw06188]
  • Moise is an organisational model for Multi-Agent Systems based on notions like roles, groups...
  • Mozart

  • Referenced in 17 articles [sw04759]
  • development platform for intelligent, distributed applications. The system is the result of a decade ... awareness, openness, and fault tolerance. Mozart supports multi-core programming with its network transparent distribution ... many applications including sophisticated collaborative tools, multi-agent systems, and digital assistants, as well...
  • DECAF

  • Referenced in 20 articles [sw04849]
  • systems, to quickly build prototype multi-agent formation gathering systems...
  • MCK

  • Referenced in 12 articles [sw09465]
  • University of New South Wales. The system is intended as a testbed for a variety ... knowledge given a description of a multi-agent system and the observations made...
  • 2APL

  • Referenced in 12 articles [sw06573]
  • programming language facilitates the implementation of multi-agent systems consisting of individual agents that...
  • INGENIAS

  • Referenced in 11 articles [sw02954]
  • tools for development of multi-agent systems (MAS). As a methodology, it tries to integrate...
  • JATLite

  • Referenced in 11 articles [sw04838]
  • agent-based information retrieval system This paper presents the design and implementation ... details of an information retrieval system. A multi-agent architecture has been adopted to allow...
  • HARMONIA

  • Referenced in 4 articles [sw03091]
  • norms and electronic institutions in multi-agent systems. The HARMONIA framework The design of multi ... norms) or too practical (agent architectures and agent platforms with norms) to be properly merged ... level of the normative system to the final multi-agent implementation...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • Multi-agent System Development and Implementation. The Java-based Agent Framework for Multi-Agent Systems...
  • MACE3J

  • Referenced in 3 articles [sw07178]
  • distributed simulation of large, large-grain multi-agent systems. Scientific study of multi-agent systems...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • support flexible and efficient development of multi-agent systems confronts with the tradeoffs imposed...
  • EVOLP

  • Referenced in 4 articles [sw02677]
  • extension of Logic Programming suitable for Multi-Agent Systems, planning and other uses where information...
  • MCMAS-X

  • Referenced in 3 articles [sw02864]
  • checker MCMAS a verification tool for multi-agent systems...
  • Aximo

  • Referenced in 3 articles [sw15031]
  • epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool...
  • LDYIS

  • Referenced in 3 articles [sw01359]
  • verification of security protocols based on multi-agent systems semantics. We give the syntax...