将 NP-SPEC 翻译为 ASP

Jan, 2013

Translating NP-SPEC into ASP

Mario Alviano, Wolfgang Faber

TL;DR本文提出了NP-SPEC语言，它是一种用于以声明方式指定NP问题的语言。我们将NP-SPEC翻译成各种形式的ASP并进行分析。此外，我们认为将NP-SPEC的某些语言内部结构合并到主流ASP中可能会很有用。

Abstract

np-spec is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to