Strongly equivalent logic programs

By Vladimir Lifschitz, D. Pearce, A. Valverde. ACM Transactions on Computational Logic, 2001

581 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/3302913f732234381bef84ed12460ec4ce31bd5f