Sciweavers

Share
AI   2004 Australian Conference on Artificial Intelligence
Wall of Fame | Most Viewed AI-2004 Paper
AI
2004
Springer
10 years 1 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
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 source219
2Download preprint from source187
3Download preprint from source180
4Download preprint from source174
5Download preprint from source160
6Download preprint from source158
7Download preprint from source157
8Download preprint from source156
9Download preprint from source153
10Download preprint from source146
11Download preprint from source144
12Download preprint from source140
13Download preprint from source138
14Download preprint from source135
15Download preprint from source134
16Download preprint from source134
17Download preprint from source133
18Download preprint from source132
19Download preprint from source130
20Download preprint from source128
21Download preprint from source126
22Download preprint from source124
23Download preprint from source121
24Download preprint from source119
25Download preprint from source114
26Download preprint from source113
27Download preprint from source112
28Download preprint from source112
29Download preprint from source111
30Download preprint from source111
31Download preprint from source110
32Download preprint from source105
33Download preprint from source105
34Download preprint from source103
35Download preprint from source102
36Download preprint from source102
37Download preprint from source100
38Download preprint from source100
39Download preprint from source98
40Download preprint from source98
41Download preprint from source96
42Download preprint from source93
43Download preprint from source92
44Download preprint from source90
45Download preprint from source86
46Download preprint from source85
47Download preprint from source85
48Download preprint from source80
books