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}
}
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

051015'03'05'07'09'11'13'15'17
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.