• CArtAgO

  • Referenced in 14 articles [sw11700]
  • 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 activity (in analogy with human ... tools dynamically constructed, used, manipulated by agents to support/ realise their individual and collective activities ... environments. So with CArtAgO, developers of multi-agent systems have finally a simple programming model...
  • Soccer server

  • Referenced in 10 articles [sw20844]
  • server: a tool for research on multi-agent systems. This article describes Soccer Server ... benchmark for evaluating multiagent systems and cooperative algorithms. In real life, successful soccer teams require...
  • HARMONIA

  • Referenced in 4 articles [sw03091]
  • HARMONIA framework The design of multi-agent systems in complex, open environments can benefit from ... cooperation and trust among agents, problems which are also present in human societies. The agent ... norms) or too practical (agent architectures and agent platforms with norms) to be properly merged ... multi-level structure, from the most abstract level of the normative system to the final...
  • PANGEA

  • Referenced in 1 article [sw26765]
  • tracing mechanisms. The use of distributed multi-agent systems (MAS) have increased in recent years ... cooperates to achieve the goals of the system and a high degree of flexibility. Multi ... agent systems have become the most effective and widely used form of developing this type...
  • LAIMA

  • Referenced in 1 article [sw32207]
  • design and implementation of multi-agent system is how these agents may individually reason ... cooperation and collaboration. In this paper, we present a deductive reasoning multi-agent platform using ... with the specification and implementation of the system’s architecture, communication and the individual agent...
  • Anthill

  • Referenced in 3 articles [sw30590]
  • such as multi-agent and evolutionary programming borrowed from CAS. An Anthill system consists ... adaptive agents travel through this network, interacting with nodes and cooperating with other agents...
  • Boolector

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

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

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

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

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

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PSPLIB

  • Referenced in 277 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • GridSim

  • Referenced in 49 articles [sw01392]
  • The GridSim toolkit allows modeling and simulation of...
  • YabAI

  • Referenced in 3 articles [sw01804]
  • YabAI: The first rescue simulation league champion RoboCupRescue...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • R-MAX is a very simple model-based...