新的计算方法增强了度量时间答案集编程

研究人员开发了一种用于度量时间答案集编程（ASP）的计算方法，该方法允许表达定量时间约束，如持续时间和截止日期。为了克服细粒度时间约束带来的可扩展性挑战，该方法利用了带差分约束的ASP扩展。这种方法有效地将度量ASP与时间精度分离开来，确保解决方案不受时间粒度的影响。 AI

影响 增强了时间约束的计算逻辑，可能改进AI规划和调度系统。

排序理由 该集群包含一篇详细介绍一种特定类型编程的新计算方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• answer set programming
• arXiv
• CatalyzeX Code Finder for Papers
• Connected Papers
• CORE Recommender
• DagsHub
• Gotit.pub
• Hugging Face
• Litmaps
• Metric Temporal Answer Set Programming
• ScienceCast
• scite Smart Citations
• Susana Hahn Martin Lunas

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →