• CP-nets

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

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

  • Referenced in 624 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic...
  • SMCDEL

  • Referenced in 7 articles [sw29077]
  • SMCDEL: A symbolic model checker for Dynamic Epistemic...
  • Kotlin

  • Referenced in 8 articles [sw30933]
  • Kotlin Programming Language. Kotlin is a statically typed...