PulseAugur
中
实时 00:32:33
实体 Answer Set Programming (ASP)

Answer Set Programming (ASP)

PulseAugur coverage of Answer Set Programming (ASP) — every cluster mentioning Answer Set Programming (ASP) across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_58663 ·

    新的元编程框架简化了时间ASP逻辑

    研究人员开发了一个新颖的元编程框架，旨在简化时间集求解（Answer Set Programming, ASP）的时间扩展的实现和探索。该框架通过将形式化类型规范和嵌套能力纳入clingo的理论语法，增强了标准的ASP元编程。它包括一个转换管道，通过防止嵌套模态在接地（grounding）过程中被简化来保持语义正确性，并通过实现线性时间均衡逻辑（TEL）、度量均衡逻辑（MEL）和动态均衡逻辑（DEL）的元编码进行了演示。该系统名为me…