3546 search results - page 7 / 710 » A Causal Logic of Logic Programming |
PKDD
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
ICLP
1991
Springer
15 years 29 days ago
1991
Springer
Interpretation of Logic Programs 1
ALP
1994
Springer
15 years 1 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
101
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...