TL;DR本文提出了 QELF 来处理部分函数,并且将其与 Scott 存在逻辑做了直接联系,还介绍了一个实际应用,即将扩展后的常规逻辑程序转换成无函数的常规程序,可以使用任何标准 ASP 求解器计算其答案集。
Abstract
In this paper we propose an extension of answer set programming (ASP), and in
particular, of its most general logical counterpart, Quantified Equilibrium
Logic (QEL), to deal with partial functions. Although the