Highly Influenced

# Loop Formulas for Disjunctive Logic Programs

@inproceedings{Lee2003LoopFF, title={Loop Formulas for Disjunctive Logic Programs}, author={Joohyung Lee and Vladimir Lifschitz}, booktitle={ICLP}, year={2003} }

- Published 2003 in ICLP
DOI:10.1007/978-3-540-24599-5_31

We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generalizing the Lin/Zhao theorem, shows that answer sets for a disjunctive program can be characterized as the models of its completion that satisfy the loop formulas. The concept of a tight program and Fages’ theorem are extended to disjunctive programs as well.

Highly Influential

This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Highly Cited

This paper has 116 citations. REVIEW CITATIONS

#### Topics

#### Statistics

Citations per Year

#### 116 Citations

Semantic Scholar estimates that this publication has

**116**citations based on the available data.See our **FAQ** for additional information.