• NetLogo

  • Referenced in 116 articles [sw09150]
  • Environment. NetLogo [Wilensky, 1999] is a multi-agent programming language and modeling environment for simulating ... behind our design and describe recent and planned enhancements...
  • Jason

  • Referenced in 65 articles [sw06187]
  • enables users to build complex multi-agent systems that are capable of operating in environments ... suitable for the implementation of reactive planning systems according to the Belief-Desire-Intention ... book provides a brief introduction to multi-agent systems and the BDI agent architecture...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • features are described. Such architecture facilitates multi-agent coordination by minimizing communication and processing overheads ... learning from past experiences and learning future agent interactions by simulating future dynamic, emergent behaviours ... scalability, reliability, stability, maintainability, flexibility, real-time planning and scheduling, standardized communication, fault tolerance ... proposed architecture is implemented as a multi-agent virtual manufacturing system, in simulation form, which...
  • POGTGolog

  • Referenced in 3 articles [sw32303]
  • programming in Golog with game-theoretic multi-agent planning in partially observable stochastic games...
  • EVOLP

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

  • Referenced in 2 articles [sw32304]
  • explicit agent programming in Golog with multi-agent planning in stochastic games. A drawback...
  • 2APL

  • Referenced in 24 articles [sw06573]
  • facilitates the implementation of multi-agent systems consisting of individual agents that may share ... declarative beliefs and goals with events and plans. It also provides practical programming constructs...
  • DECAF

  • Referenced in 20 articles [sw04849]
  • graphical plan editor, reusable generic behaviors, and various supporting middle-agents. This paper briefly describe ... some of the internal details of the agent execution framework. While ... teams, initially untutored in agent systems, to quickly build prototype multi-agent formation gathering systems...
  • MADRaS

  • Referenced in 1 article [sw38683]
  • MADRaS : multi agent driving simulator. Autonomous driving has emerged as one of the most active ... multi-agent driving simulator for use in the design and evaluation of motion planning algorithms ... scenarios where multiple driving agents can be trained for motion planning tasks using reinforcement learning ... from TORCS and introduces support for multi-agent training, inter-vehicular communication, noisy observations, stochastic...
  • Soccer server

  • Referenced in 10 articles [sw20844]
  • server: a tool for research on multi-agent systems. This article describes Soccer Server ... learning the selection of soccer play plans. Other researchers using Soccer Server to investigate...
  • mAL

  • Referenced in 1 article [sw26683]
  • about the beliefs of agents in multi-agent domains in the presence of state constraints ... basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within ... efforts has largely centered around single-agent systems. Agents rarely operate in a vacuum however ... both ontic and epistemic actions within a multi-agent setting. This paper presents...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • Java-based Agent Framework for Multi-Agent Systems (JAFMAS) provides a generic methodology for developing ... agent architecture, and a set of classes to support implementing these agents in Java ... five stages: (i) identifying the agents, (ii) identifying the agent conversations, (iii) identifying the conversation ... governed form of behavior.” We conceptualize agent plans and their coordination as rule-based conversations...
  • A-RESCUE

  • Referenced in 3 articles [sw20579]
  • high fidelity multi-agent simulation model called A-RESCUE (Agent-based Regional Evacuation Simulator Coupled ... simulation, each household is an agent making various evacuation related decisions based on advanced behavioral ... simulation tool can be used as a planning tool to make decisions related...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...