60 search results - page 1 / 12 » Quantitative Logic Programming Revisited |
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditio...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...