• AgentSpeak

  • Referenced in 101 articles [sw06186]
  • language. It is based on logic programming and the BDI architecture for (cognitive) autonomous agents...
  • Jason

  • Referenced in 62 articles [sw06187]
  • extended version of AgentSpeak -- a logic-based agent-oriented programming language -- written in Java ... systems according to the Belief-Desire-Intention (BDI) architecture. The book provides a brief introduction...
  • PRISM

  • Referenced in 423 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 33 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • KARO

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

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

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

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

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

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

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

  • Referenced in 73 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of...
  • MCK

  • Referenced in 31 articles [sw09465]
  • MCK: Model checking knowledge. MCK is a model...
  • Z/EVES

  • Referenced in 43 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...
  • JADE

  • Referenced in 38 articles [sw11698]
  • JADE (Java Agent DEvelopment Framework) is a software...
  • Jadex

  • Referenced in 34 articles [sw11699]
  • Jadex is a Belief Desire Intention (BDI) reasoning...
  • MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...