实体
Constraint Answer Set Programming
Constraint Answer Set Programming
PulseAugur coverage of Constraint Answer Set Programming — every cluster mentioning Constraint Answer Set Programming across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
EZSMTV3 框架推进混合推理以解决复杂问题 · 跟踪 1 个来源
一个名为 EZSMTV3 的新框架已被开发用于约束答案集编程 (CASP)，这是一种结合了答案集编程与约束处理和可满足性模理论 (SMT) 的混合推理范式。该系统 EZSMTV3 设计为可扩展的，并推进了 CASP 求解的转换方法。它利用现有的 SMT 求解器，如 CVC5、YICES 和 Z3 进行推理，其性能与其他 CASP 系统（如 CLINGCON 和 CLINGO[DL]）进行了基准测试。该框架通过弱约束支持优化，并且能够处…
-
新的ASP(Q)变体和FLINGO语言增强了AI约束编程
研究人员引入了“2-ASP(Q)^w”，一类具有两个量词和弱约束的新型回答集编程（ASP）程序，能够捕获高达Delta_3^P复杂度类的优化问题。这项工作为该类中的计算任务提供了完整的复杂度表征，并提出了一种使用反例引导抽象细化（CEGAR）技术计算量化回答集的新策略。实验评估证明了这些技术在挑战性基准上的有效性。此外，还开发了一种名为“flingO”的新语言和工具，将ASP的表达能力集成到线性整数约束中，从而增强了用于实际应用的约束…