
MCMAS
 Referenced in 72 articles
[sw09463]
 Verification of MultiAgent 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...

MCMASSLK
 Referenced in 17 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...

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

DEMO
 Referenced in 8 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...

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

selp
 Referenced in 3 articles
[sw31006]
 selp  A SingleShot Epistemic Logic Program Solver. selp (Singleshot 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 multiagent systems. The underlying logic ... algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst...

Wviews
 Referenced in 2 articles
[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...

Hintikka's world
 Referenced in 1 article
[sw31988]
 satisfiability problem; learning models of dynamic epistemic logic; having fun with epistemic puzzles...

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 multiagent setting. This paper...

LDYIS
 Referenced in 3 articles
[sw01359]
 semantics of a temporalepistemic securityspecialised logic and provide a lazyintruder model...

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 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

KRIPKE
 Referenced in 8 articles
[sw01162]
 The relevant logics E, R and N R...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

CPnets
 Referenced in 135 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

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...