7456 search results - page 386 / 1492 » Parallelism in Logic Programming |
175
click to vote
ECAI
2004
Springer
16 years 26 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
187
Voted
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
171
Voted
ECOOPW
2007
Springer
16 years 1 months ago
2007
Springer
148
Voted
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
231
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...