BriefGPT.xyz
Aug, 2018
在答案集程序中嵌入外部来源
Inlining External Sources in Answer Set Programs
HTML
PDF
Christoph Redl
TL;DR
本文提出一种基于外部原子内联的HEX程序评估方法,并将其应用于扩展程序等形式化领域中查找强等价性,性能得到了显著提高。
Abstract
hex-programs
are an extension of answer set programs (ASP) with external sources. To this end,
external atoms
provide a bidirectional interface between the program and an external source. The traditional evaluati
→