402 search results - page 30 / 81 » Algebraic Properties of Program Integration |
250
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
143
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
135
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
154
Voted
MP
2006
15 years 5 months ago
2006
In classical two-stage stochastic programming the expected value of the total costs is minimized. Recently, mean-risk models - studied in mathematical finance for several decades -...
148
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...