本文综述了答案集编程（ASP）的多项研究进展，包括约束求解、CASP执行模型、lazy-grounding优化、成本最优规划、条件聚合、时序ASP及弱约束学习框架ILASP2，旨在提升求解性能与表达能力。