ESmodels: An Inference Engine of Epistemic Specifications.

Zhizheng Zhang Kaikai Zhao Rongcun Cui

Published in: ICTAI (2013)

Keyphrases

real time
high level
delay insensitive
belief change
social networks
genetic algorithm
functional requirements
specification language
socio cognitive
operational semantics
asynchronous circuits
dynamic epistemic logic