An Efficient Solver for ASP(Q)

Faber, W; Mazzotta, G; Ricca, F

Faber, W (通讯作者)，Alpen Adria Univ Klagenfurt, Klagenfurt, Austria.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023; 23 (4): 948

Abstract

Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索