ESmodels: An Epistemic Specification Solver
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/dd87343d-ae58-4c01-8c65-f41f31e52216
下载链接
链接失效反馈官方服务：
资源简介：
ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.
提供机构：
TIB
创建时间：
2024-12-16
