• LDYIS

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

  • Referenced in 16 articles [sw06573]
  • facilitates the implementation of multi-agent systems consisting of individual agents that may share ... goals, and events. The formal syntax and semantics of the programming language are given...
  • IMPACT

  • Referenced in 5 articles [sw02891]
  • Semantics. The IMPACT project (http://www.cs.umd.edu/projects/impact) aims at developing a powerful multi-agent system...
  • ITTALKS

  • Referenced in 3 articles [sw02419]
  • Semantic Web” markup languages such as the DARPA Agent Markup Language (DAML). Such languages will ... multi-agent systems with the existing information infrastructure. As part of our exploration of Semantic...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • Multi-Agent Systems (JAFMAS) provides a generic methodology for developing speech-act based multiagent systems ... 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 ... systems. Linguistic support is provided for speech-act (e.g. KQML) based languages allowing for agent...
  • InstQL

  • Referenced in 1 article [sw02055]
  • open software architectures like multi-agent and service-oriented systems. Our domain-specific action language ... reason over the underlying normative models. The semantics of the query language is provided...
  • MAPBOT

  • Referenced in 1 article [sw13630]
  • Multi-agent systems for web-based map information retrieval. Many types of information are geographically ... data. However, map presentation in geographical information systems (GISs) and on the Internet is closely ... information retrieval system to search geographical information using software agent techniques. Each kind ... road is treated as an agent called a Maplet. Each Maplet has a user interface...
  • Boolector

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

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

  • Referenced in 4956 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 5756 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

  • Referenced in 7 articles [sw00863]
  • simpA: an agent-oriented approach for programming concurrent...
  • TSPLIB

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

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

  • Referenced in 249 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • Rapide: A language and toolset for simulation of...
  • CP-nets

  • Referenced in 130 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...