Sciweavers

LPNMR   2004 Logic Programming and Nonmonotonic Reasoning
Wall of Fame | Most Viewed LPNMR-2004 Paper
LPNMR
2004
Springer
13 years 10 months ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
Thomas Eiter, Axel Polleres
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source170
2Download preprint from source163
3Download preprint from source156
4Download preprint from source144
5Download preprint from source136
6Download preprint from source131
7Download preprint from source123
8Download preprint from source120
9Download preprint from source118
10Download preprint from source109
11Download preprint from source108
12Download preprint from source106
13Download preprint from source105
14Download preprint from source93
15Download preprint from source88
16Download preprint from source84
17Download preprint from source83
18Download preprint from source69