2861 search results - page 6 / 573 » Constraint Programming |
POPL
1999
ACM
15 years 5 months ago
1999
ACM
73
Voted
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
101
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
