ESmodels: An Epistemic Speciﬁcation Solver

doi:doi:10.57702/n6jr2rz9

ESmodels: An Epistemic Speciﬁcation Solver

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

Data and Resources

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Cite this as

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

DOI retrieved: December 16, 2024

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