Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

AGP

2003

IEEE

2003

IEEE

Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reﬂects the typical “guess and check” nature of NP problems: The property is encoded in a way such that polynomial size certiﬁcates for it correspond to stable models of a program. However, the problemsolving capacity of full disjunctive logic programs (DLPs) is beyond NP at the second level of the polynomial hierarchy. While problems there also have a “guess and check” structure, an encoding in a DLP is often non-obvious, in particular if the “check” itself is co-NP-complete; usually, such problems are solved by interleaving separate “guess” and “check” programs, where the check is expressed by inconsistency of the check program. We present general transformations of head-cycle free (extended) logic programs into stratiﬁed disjunctive logic programs which enable one to integrate such “guess” and “check” programs automaticall...

Added |
04 Jul 2010 |

Updated |
04 Jul 2010 |

Type |
Conference |

Year |
2003 |

Where |
AGP |

Authors |
Thomas Eiter, Axel Polleres |

Comments (0)