#回答集编程

ASP(Q)扩展了回答集编程的表达力，做逻辑编程和知识表示的团队可以关注这篇——它既给出了理论复杂度边界，又提供了实用的CEGAR实现策略，值得一试。

电网规划人员终于有了自动化工具——ASP 优雅处理了传统语言难以表达的拓扑约束，做电力系统优化的团队可以直接参考论文方法。