Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez...
TL;DR本文研究了Answer Set Programming中的explicit negation可以与nested expressions相组合,并证明可以通过扩展Equilibrium Logic来捕获这种组合,同时将其与Nelson's strong negation进行比较。
Abstract
A common feature in answer set programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in f