ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.
BibTex:
Before browse our site, please accept our cookies policy
