1181 search results - page 26 / 237 » constraints 2004 |
ECAI
2004
Springer
14 years 2 months 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...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
PAKDD
2004
ACM
14 years 2 months ago
2004
ACM
We are designing new data mining techniques on boolean contexts to identify a priori interesting concepts, i.e., closed sets of objects (or transactions) and associated closed sets...
NAR
2006
13 years 8 months ago
2006
The increasing availability of structurally aligned protein families has made it possible to use statistical methods to discover regions of interpositional dependenciesof residue ...
PPDP
2004
Springer
14 years 2 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...