9626 search results - page 358 / 1926 » Invariant Based Programming |
168
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
129
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
169
click to vote
NIPS
2007
15 years 8 months ago
2007
Recently, we have introduced a novel approach to dynamic programming and reinforcement learning that is based on maintaining explicit representations of stationary distributions i...
154
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
133
click to vote
FSS
2006
15 years 6 months ago
2006
A class of fuzzy linear programming (FLP) problems with fuzzy coefficients based on fuzzy relations is introduced, the concepts of feasible and (, )-maximal and minimal solutions ...