BriefGPT.xyz
May, 2014
Answer Set程序中的谨慎后果的任意时间计算
Anytime Computation of Cautious Consequences in Answer Set Programming
HTML
PDF
Mario Alviano, Carmine Dodaro, Francesco Ricca
TL;DR
介绍了Answer Set Programming(ASP)中谨慎后果的计算策略,以及能够在计算过程中产生准确答案的任意时间算法。
Abstract
Query answering in
answer set programming
(ASP) is usually solved by computing (a subset of) the
cautious consequences
of a
logic program
.
→