7456 search results - page 24 / 1492 » Parallelism in Logic Programs |
ICLP
1991
Springer
14 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
EUSFLAT
2009
13 years 7 months ago
2009
DAGSTUHL
2007
13 years 11 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
EPIA
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...