You're currently viewing an old version of this dataset. To see the current version, click here.

ESmodels: An Epistemic Specification Solver

ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.

Data and Resources

This dataset has no data

Cite this as

ZHIZHENG ZHANG, KAIKAI ZHAO (2024). Dataset: ESmodels: An Epistemic Specification Solver. https://doi.org/10.57702/n6jr2rz9

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.1405.3486
Author ZHIZHENG ZHANG
More Authors
KAIKAI ZHAO