BriefGPT.xyz
Dec, 2013
回答集程序中强否定的功能视角
A Functional View of Strong Negation in Answer Set Programming
HTML
PDF
Michael Bartholomew, Joohyung Lee
TL;DR
该研究使用 Bartholomew 和 Lee 的函数稳定模型语义，提供了关于强否定的另一种描述方式，并表明非布尔内涵函数可以用强否定表示以计算函数稳定模型语义。
Abstract
The distinction between
strong negation
and default negation has been useful in
answer set programming
. We present an alternative account of
stro
→