On elementary loops of logic programs

Abstract

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

Topics

  • Presentations referencing similar topics