ESmodels: An Epistemic Specification Solver.

Zhizheng Zhang Kaikai Zhao

Published in: CoRR (2014)

Keyphrases

high level
specification language
databases
neural network
evolutionary algorithm
constraint solving
real time
data sets
e learning
multi agent
multi agent systems
conceptual model
belief change
protocol specification
dynamic epistemic logic