Disjunctive Logic Programs versus Normal Logic Programs

Heng Zhang, Yan Zhang

This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation f…