583 search results - page 84 / 117 » Preferences in Answer Set Programming |
134
click to vote
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
BMCBI
2008
15 years 1 months ago
2008
Background: The Golden Spike data set has been used to validate a number of methods for summarizing Affymetrix data sets, sometimes with seemingly contradictory results. Much less...
187
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
138
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 ...
130
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...