BriefGPT.xyz
May, 2017
答案集程序的逐步调试
Stepwise Debugging of Answer-Set Programs
HTML
PDF
Johannes Oetsch, Jörg Pührer, Hans Tompits
TL;DR
介绍了基于规则逐步应用的步进方法来进一步支持answer-set程序的调试,并基于此方法发展了一个计算框架来支持不同的求解器语言。
Abstract
We introduce a stepping methodology for
answer-set programming
(ASP) that allows for
debugging
answer-set programs and is based on the stepwise application of rules. Similar to
→