2084 search results - page 104 / 417 » Set Constraints in Logic Programming |
142
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
151
Voted
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
125
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
102
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
145
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...