2-ASP(Q)带弱约束程序：复杂度分析与高效实现
ASP(Q)扩展了回答集编程的表达力，做逻辑编程和知识表示的团队可以关注这篇——它既给出了理论复杂度边界，又提供了实用的CEGAR实现策略，值得一试。
#CEGAR
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「CEGAR」标签的资讯、产品与论文，按刊登时间排，新的在上。
5月27日
ASP(Q)扩展了回答集编程的表达力，做逻辑编程和知识表示的团队可以关注这篇——它既给出了理论复杂度边界，又提供了实用的CEGAR实现策略，值得一试。