• OMDoc

  • Referenced in 86 articles [sw07138]
  • serve as the content language for agent communication of mathematical services on a mathematical software...
  • 3APL

  • Referenced in 33 articles [sw20859]
  • programming language for implementing cognitive agents. It provides programming constructs for implementing agents’ beliefs, goals ... such as belief updates, external actions, or communication actions) and a set of practical reasoning...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • language’ that embodies this paradigm. Piccola models components and compositional abstractions by means of communicating ... concurrent agents. Flexibility, extensibility and robustness are obtained by modelling both interfaces of components...
  • KSACI

  • Referenced in 3 articles [sw02455]
  • established J2ME-based environments or tools for agent development yet. In this context ... such as deductive inference mechanisms and communication languages and protocols. This paper describes the KSACI ... tool that provides communication infrastructure among agents running in handheld devices. KSACI supports KQML ... outer language, and XML, as the inner one. KSACI extends SACI (Simple Agent Communication Infrastructure...
  • KQML

  • Referenced in 32 articles [sw29718]
  • agents. KQML can be used as a language for an application program to interact with ... performatives, which defines the permissible operations that agents may attempt on each other’s knowledge ... develop higher-level models of inter-agent interaction such as contract nets and negotiation ... sharing through a special class of agent called communication facilitators which coordinate the interactions...
  • CC-Pi

  • Referenced in 26 articles [sw15033]
  • joining different SLA requirements. Our language combines two basic programming paradigms: name-passing calculi ... extend cc programming by adding synchronous communication and by providing a treatment of names ... party or by the synchronisation of two agents. Moreover, restricting the scope of names allows...
  • CASOS

  • Referenced in 3 articles [sw13288]
  • communication structure. New meta-languages for developing models of organizations as interacting intelligent agents...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • identifying the agents, (ii) identifying the agent conversations, (iii) identifying the conversation rules, (iv) analyzing ... JAFMAS provides communication, linguistic and coordination support through sixteen Java classes. Communication support ... provided for both directed communication and subject-based broadcast communication. This feature enables the user ... speech-act (e.g. KQML) based languages allowing for agent independent semantics. Coordination support follows from...
  • Eve

  • Referenced in 2 articles [sw32386]
  • home automation devices, and others. The agents communicate with each other using simple, existing protocols ... existing transport layers (HTTP, XMPP), offering a language and platform agnostic solution. Discover more...
  • CARMA

  • Referenced in 5 articles [sw20777]
  • this paper we present CARMA, a language recently defined to support specification and analysis ... composed of a huge number of interacting agents that dynamically adjust and combine their behaviour ... sometimes referred to as ensembles, CARMA provides communication primitives that are based on predicates over ... communication. Two communication mechanisms are provided in the CARMA language: multicast-based and unicast-based...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • stage programming) and Klaim (a Kernel Language for Agents Interaction and Mobility), to permit interleaving ... wide area network (such as remote communication and code mobility). MetaKlaim exploits a powerful type...
  • NUML

  • Referenced in 1 article [sw03463]
  • communicate between each other is necessary for a language describing DAI systems. Agent-oriented language...
  • kPWorkbench

  • Referenced in 2 articles [sw19654]
  • FLAME simulator, a general purpose large scale agent based simulation environment, based on a method ... express kP systems as a set of communicating X-machines. kPWorkbench’s model checking environment ... SPIN and NUSMV model checkers. A property language is defined, comprising a list of natural...
  • ACL2

  • Referenced in 276 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 1607 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

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

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