3546 search results - page 130 / 710 » A Causal Logic of Logic Programming |
113
click to vote
PLDI
1990
ACM
15 years 8 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
114
click to vote
PODS
1989
ACM
15 years 8 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
116
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
129
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
133
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...