4192 search results - page 580 / 839 » Probabilistic Logic Programming |
139
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
132
click to vote
PADL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
123
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
138
click to vote
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
122
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...