On elementary loops of logic programs


Using the notion of an elementary loop, Gebser and Schaub refined the theorem on loop formulas due to Lin and Zhao by considering loop formulas of elementary loops only. In this article, we reformulate their definition of an elementary loop, extend it to disjunctive programs, and study several properties of elementary loops, including how maximal elementary… (More)
DOI: 10.1017/S1471068411000019


  • Presentations referencing similar topics