3973 search results - page 92 / 795 » Records for Logic Programming |
139
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
118
Voted
LPNMR
2009
Springer
15 years 10 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...
77
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
105
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
98
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer