1144 search results - page 93 / 229 » Logic programming for combinatorial problems |
115
click to vote
JMLR
2006
15 years 2 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
149
click to vote
EUSFLAT
2009
15 years 8 days ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
145
Voted
CLIMA
2006
15 years 3 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
137
Voted
JUCS
2006
15 years 2 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
112
click to vote
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...