874 search results - page 76 / 175 » Computing Weighted Solutions in Answer Set Programming |
186
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
130
click to vote
CORR
1998
Springer
15 years 15 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
130
click to vote
ORDER
2010
14 years 11 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
116
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In emerging applications such as location-based services, sensor monitoring and biological management systems, the values of the database items are naturally imprecise. For these ...
118
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...