6554 search results - page 106 / 1311 » Constraint Logic Programming |
149
click to vote
SLOGICA
2008
15 years 6 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
150
click to vote
LPNMR
2007
Springer
16 years 12 days ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...
208
click to vote
CONSTRAINTS
2010
15 years 3 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
186
click to vote
LOPSTR
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
163
click to vote
CONSTRAINTS
2006
15 years 6 months ago
2006
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...