BriefGPT.xyz
Dec, 2008
基于答案集语义的逻辑程序的证明
Justifications for Logic Programs under Answer Set Semantics
HTML
PDF
Enrico Pontelli, Tran Cao Son, Omar Elkhatib
TL;DR
本文介绍了基于图的解释Answer Set编程的离线和在线证明方法，并将其集成到计算模型中用于调试Answer Set程序。
Abstract
The paper introduces the notion of
off-line justification
for
answer set programming
(ASP).
justifications
provide a graph-based explanati
→