7167 search results - page 84 / 1434 » Answer Set Programming |
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
136
click to vote
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
182
Voted
ICLP
2009
Springer
16 years 1 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...
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 ...
124
Voted
EDBT
2009
ACM
15 years 4 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...