7456 search results - page 92 / 1492 » Parallelism in Logic Programming |
151
Voted
AGP
2003
IEEE
15 years 8 months ago
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 reflects the typical “guess and check” nature ...
108
Voted
IWOMP
2009
Springer
15 years 9 months ago
2009
Springer
77
Voted
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ
× ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø
ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ
...
91
Voted
PLDI
1989
ACM
15 years 6 months ago
1989
ACM
123
Voted
ASPLOS
1994
ACM
15 years 6 months ago
1994
ACM