• INGENIAS

  • Referenced in 11 articles [sw02954]
  • tools for development of multi-agent systems (MAS). As a methodology, it tries to integrate ... environment. It is supported by a set of tools for modelling (graphical editor), documentation...
  • MIKS

  • Referenced in 3 articles [sw02359]
  • MIKS : An agent framework supporting information access and integration. Providing an integrated access to multiple ... important that the tools developed for supporting these activities are semi-automatic and scalable ... mobile agents in the information integration area, and, in particular, their integration in the MOMIS ... been conceived as a pool of tools to provide an integrated access to heterogeneous information...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • JAFMAS classes support each agent with multiple threads, one for the agent, one for each ... which the agent engages, and one for each subject to which the agent subscribes. Though ... problem and supply chain integration. Petri Net based analysis tools are used to determine conversation ... Java-based tools supporting speech-acts (JATLite), Java-based tools supporting mobile agents (IBM Aglets...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • framework-based integration of Java and Prolog for agent-oriented programming Intelligent agent development ... necessary language support. Object-oriented languages have been proposed as an appropriate tool, although logic ... managing mental attitudes. Multi-paradigm languages supporting encapsulation of actions, hiding of private knowledge ... agents. However, a unique language to support flexible and efficient development of multi-agent systems...
  • LeoPARD

  • Referenced in 6 articles [sw13554]
  • implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines ... sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause ... line interpreter, and generic means for the integration of external reasoners...
  • CArtAgO

  • Referenced in 14 articles [sw11700]
  • resources and tools dynamically constructed, used, manipulated by agents to support/ realise their individual ... multi-agent systems have finally a simple programming model to design and program agent computational ... used to program agents. CArtAgO is not bound to any specific agent model or platform ... specific agent model or platform adopted to define agent architecture and behaviour. However, CArtAgO...
  • JEOPS

  • Referenced in 3 articles [sw02428]
  • lack of standard tools to support the creation of agents is still an obstacle ... broad use of this paradigm. Agents can be created via the use of either specialized ... highly demanded. In this case, the integration of production rules and objects is a promising...
  • MACE3J

  • Referenced in 3 articles [sw07178]
  • multi-agent systems (MAS) requires infrastructure such as development testbeds and simulation tools for repeatable ... structure and behavior. Testbeds and simulation tools are also critical for MAS education and development ... specifically to fulfill widespread need for tools supporting distributed collaborative scientific research in large-scale ... Java-based MAS simulation, integration, and development testbed, with a supporting library of components, examples...
  • kPWorkbench

  • Referenced in 2 articles [sw19654]
  • support the computational analysis of kernel P systems. The framework integrates a set of tools ... using several simulation and verification methodologies and tools. The framework features a native simulator, kPWorkbench ... also integrates the FLAME simulator, a general purpose large scale agent based simulation environment, based ... kernel P system models. The framework supports both Linear Temporal Logic (LTL) and Computation Tree...
  • REMM

  • Referenced in 1 article [sw03259]
  • multi-agent systems: The REMM framework. Multi Agent Systems represent a new approach for modeling ... software engineering aim at providing methodologies and tools for designing and developing MAS. However formal ... supports developers in different phases of MAS developing cycle. We also present an integrated environment...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...
  • LAPACK

  • Referenced in 1617 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 260 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1639 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

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

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

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