2084 search results - page 188 / 417 » Set Constraints in Logic Programming |
108
click to vote
FAC
2000
15 years 4 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
133
click to vote
EAAI
2008
15 years 4 months ago
2008
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
144
Voted
ILP
2000
Springer
15 years 7 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
148
Voted
FUIN
2010
15 years 1 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
113
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
: This report introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time co...