4192 search results - page 440 / 839 » Probabilistic Logic Programming |
154
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
135
click to vote
APLAS
2000
ACM
15 years 9 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
183
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
172
click to vote
POPL
2012
ACM
14 years 12 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
148
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...