• Jason

  • Referenced in 61 articles [sw06187]
  • enables users to build complex multi-agent systems that are capable of operating in environments ... systems according to the Belief-Desire-Intention (BDI) architecture. The book provides a brief introduction ... multi-agent systems and the BDI agent architecture on which AgentSpeak is based. The authors ... using an agent-oriented software engineering methodology particularly suited for implementation using BDI-based programming...
  • AgentSpeak

  • Referenced in 100 articles [sw06186]
  • logic programming and the BDI architecture for (cognitive) autonomous agents. The language was originally called...
  • 2APL

  • Referenced in 16 articles [sw06573]
  • programming language. This article presents a BDI-based agent-oriented programming language, called 2APL ... multi-agent systems consisting of individual agents that may share and access external environments ... given and its relation with existing BDI-based agent-oriented programming languages is discussed...
  • Jadex

  • Referenced in 34 articles [sw11699]
  • Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents...
  • CArtAgO

  • Referenced in 14 articles [sw11700]
  • agency – intelligent agents – in particular those based on the BDI-like architecture. Latest CArtAgO distribution...
  • RescueModel

  • Referenced in 3 articles [sw01713]
  • vehicle for research into multi-agent systems, architectures, and strategies. It builds on the theoretical ... decade of beliefs-desires-intentions (BDI) agent systems development. This paper describes a project that...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • allocation, a fundamental problem in BDI teams: which agents to allocate to the different roles ... significantly curtailing RMTDP policy search; in particular, BDI team plans provide incomplete RMTDP policies...
  • Gwendolen

  • Referenced in 1 article [sw28500]
  • Gwendolen: A BDI Language for Verifiable Agents. We describe the Gwendolen BDI (Belief, Desires...
  • PROFETA

  • Referenced in 1 article [sw23638]
  • formal language for the creation of BDI software agents. The framework is implemented in Python...
  • PRISM

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

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

  • Referenced in 32 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • XVCL

  • Referenced in 8 articles [sw02100]
  • XVCL: a mechanism for handling variants in software...
  • KSACI

  • Referenced in 3 articles [sw02455]
  • KSACI: A handheld device infrastructure for agents communication...
  • LEAP

  • Referenced in 8 articles [sw02456]
  • LEAP (Lightweight Extensible Agent Platform (IST-1999-10211...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • SPIN

  • Referenced in 707 articles [sw03455]
  • Spin is a popular open-source software tool...
  • NuSMV

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

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • DECAF

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