沈榆平、赵希顺|Computationally Hard Problems for Logic Programs under Answer Set Semantics

题目：Computationally Hard Problems for Logic Programs under Answer Set Semantics

作者：沈榆平副教授、赵希顺教授

原文链接：https://doi.org/10.1145/3676964

论文摘要:

期刊简介：

ACM Transactions on Computational Logic（TOCL，ACM计算逻辑学报）是由美国计算机学会ACM出版的季刊。该刊专注于研究计算机科学中的逻辑与计算问题，涉及包括人工智能、计算复杂性、数据库系统和编程语言在内的众多领域。目前该刊在最新的JCR分区中属于逻辑学1区。