On the existence of stable models of non-stratified logic programs

Stefania Costantini

This paper introduces a fundamental result, which is relevant for Answer Set programming, and planning. For the first time since the definition of the stable model semantics, the c…