3572 search results - page 94 / 715 » Nominal Logic Programming |
107
click to vote
AAAI
1990
15 years 1 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
110
Voted
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
59
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer