• MCMAS

  • Referenced in 67 articles [sw09463]
  • Verification of Multi-Agent Systems. While temporal logic in its various forms has proven essential ... particular, specification languages based on epistemic logic [7], or logics for knowledge, have proven useful ... known to be naturally expressible in epistemic formalisms as they explicitly state the lack...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • modal logics, including usual temporal, epistemic or dynamic logics. We survey the modal languages covered...
  • MCMAS-SLK

  • Referenced in 16 articles [sw24778]
  • model checker for the verification of strategy logic specifications. We introduce MCMAS ... specifications expressed in a novel, epistemic variant of strategy logic. We give syntax and semantics ... introduce a labelling algorithm for epistemic and strategy logic modalities. We provide details...
  • DEMO

  • Referenced in 7 articles [sw29079]
  • DEMO implements the reduction of dynamic epistemic logic to PDL. The paper gives an exemplar ... tool building for epistemic update logic. It contains the essential code of an implementation...
  • selp

  • Referenced in 3 articles [sw31006]
  • selp - A Single-Shot Epistemic Logic Program Solver. selp (Single-shot Epistemic Logic Program solver ... solver for Epistemic Logic Programs (ELPs), that is, programs that use an extended version ... that, in particular, allows users to express epistemic negation. selp works by polynomially rewriting...
  • Aximo

  • Referenced in 4 articles [sw15031]
  • verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic ... algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst...
  • SMCDEL

  • Referenced in 4 articles [sw29077]
  • symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell. At its core...
  • Wviews

  • Referenced in 1 article [sw31007]
  • Wviews: A Worldview Solver for Epistemic Logic Programs. Wviews is an artificial intelligence system extension ... generating world view answer sets for epistemic logic programs. This software implements the theory ... paper ”Logic programming and reasoning with incomplete information” by Michael Gelfond in the Journal ... Intelligence and the 2007 paper ”Epistemic Reasoning in Logic Programs” by Yan Zhang...
  • ELPS

  • Referenced in 1 article [sw31013]
  • ELPS: epistemic logic programs with sorts...
  • mAL

  • Referenced in 1 article [sw26683]
  • been done within the dynamic epistemic logic community towards understanding how the actions ... indirect effects of both ontic and epistemic actions within a multi-agent setting. This paper...
  • LDYIS

  • Referenced in 3 articles [sw01359]
  • semantics of a temporal-epistemic security-specialised logic and provide a lazy-intruder model...
  • Hintikka's world

  • Referenced in 0 articles [sw31988]
  • satisfiability problem; learning models of dynamic epistemic logic; having fun with epistemic puzzles...
  • SPIRIT

  • Referenced in 7 articles [sw26763]
  • user as well as all relevant logical transformations and numerical calculations. SPIRIT is an Expert ... dependencies the shell automatically generates the corresponding epistemic state, thus permitting the derivation of conclusions...
  • Autoepigraph

  • Referenced in 1 article [sw33594]
  • theorem prover for epistemic graphs for argumentation. Epistemic graphs are a recent proposal for probabilistic ... represented by logical constraints on these distributions. Within the full language of epistemic constraints...
  • Coq

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

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CP-nets

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

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

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