### Abstract

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.

Original language | English (US) |
---|---|

Pages (from-to) | 451-465 |

Number of pages | 15 |

Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

Volume | 2916 |

DOIs | |

State | Published - 2003 |

Externally published | Yes |

### Fingerprint

### ASJC Scopus subject areas

- Computer Science(all)
- Theoretical Computer Science
- Engineering(all)

### Cite this

**Loop formulas for disjunctive logic programs.** / Lee, Joohyung; Lifschitz, Vladimir.

Research output: Contribution to journal › Article

}

TY - JOUR

T1 - Loop formulas for disjunctive logic programs

AU - Lee, Joohyung

AU - Lifschitz, Vladimir

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0346264951&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0346264951&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-24599-5_31

DO - 10.1007/978-3-540-24599-5_31

M3 - Article

VL - 2916

SP - 451

EP - 465

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -