6554 search results - page 368 / 1311 » Constraint Logic Programming |
171
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
148
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
181
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...
151
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
189
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A sequential quadratic programming (SQP) method is proposed to solve the distributed beamforming problem in multiple relay networks. The problem is formulated as the minimization ...