• AgentSpeak

  • Referenced in 94 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It is based on logic programming...
  • Jason

  • Referenced in 49 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason. Jason is an Open Source interpreter ... version of AgentSpeak -- a logic-based agent-oriented programming language -- written in Java. It enables ... brief introduction to multi-agent systems and the BDI agent architecture on which AgentSpeak ... program multi-agent systems. Some of the examples include diagrams generated using an agent-oriented...
  • 2APL

  • Referenced in 12 articles [sw06573]
  • agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates ... implementation of multi-agent systems consisting of individual agents that may share and access external ... effective integration of declarative and imperative style programming by introducing and integrating declarative beliefs ... relation with existing BDI-based agent-oriented programming languages is discussed...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • integration of Java and Prolog for agent-oriented programming Intelligent agent development has imposed ... proposed as an appropriate tool, although logic-oriented languages are more adequate for managing mental ... programming agents. However, a unique language to support flexible and efficient development of multi-agent ... incrementally compatible family of agent-oriented multi-paradigm languages. In this work we present...
  • simpA

  • Referenced in 7 articles [sw00863]
  • simpA: an agent-oriented approach for programming concurrent applications on top of Java More ... extension of mainstream object-oriented programming languages and platforms -- Java is a main example -- with ... concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this ... based framework that provides programmers with agent-oriented abstractions on top of the basic...
  • MAS-SOC

  • Referenced in 3 articles [sw09161]
  • Social Simulation Platform Based on Agent-Oriented Programming. This article gives an overview ... recent progress in the area of agent-oriented programming languages. The platform is called...
  • NUML

  • Referenced in 1 article [sw03463]
  • language describing DAI systems. Agent-oriented language NUML is such a language ... specific kind of object-oriented language. To give formal semantics to NUML, there ... problem to formalise object- oriented programming paradigm which is still open. The theory of higher...
  • ConGolog

  • Referenced in 42 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • GOLOG

  • Referenced in 155 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • LUPS

  • Referenced in 35 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • PVS

  • Referenced in 495 articles [sw03484]
  • PVS is a verification system: that is, a...
  • NuSMV

  • Referenced in 237 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Mozart

  • Referenced in 17 articles [sw04759]
  • The Mozart Programming System is an advanced development...
  • DECAF

  • Referenced in 20 articles [sw04849]
  • Towards a distributed, environment-centered agent framework This...
  • Moise+

  • Referenced in 17 articles [sw06188]
  • Moise is an organisational model for Multi-Agent...
  • METATEM

  • Referenced in 53 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • Oz

  • Referenced in 100 articles [sw06799]
  • Oz is a high-level programming language combining...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • Building your own software model checker using the...
  • Erlang

  • Referenced in 67 articles [sw07202]
  • Erlang is a programming language used to build...
  • Graphplan

  • Referenced in 164 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...