BriefGPT.xyz
Nov, 2023
可增量优化的任意时刻答案集计数
IASCAR: Incremental Answer Set Counting by Anytime Refinement
HTML
PDF
Johannes K. Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
TL;DR
该论文介绍了一种通过假设知识编译来迭代计算答案集的技术,以改进对解空间的估计,同时避免了在计算中的指数级开销。
Abstract
answer set programming
(ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practice, but
counting
still allows qua
→