逻辑程序之间的本质等价论证中的强等价和程序结构

Jan, 2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs

Yuliya Lierler

TL;DR本文介绍了关于ASP中程序重写的正式结果，并提供了Projector系统的正确性证明，它可以对程序进行自动重写来提高效率。

Abstract

answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing distinct →