Sciweavers

8437 search results - page 37 / 1688
» Preferences over Sets
Sort
View
LPNMR
2007
Springer
16 years 4 days ago
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
Michael Fink, Reinhard Pichler, Hans Tompits, Stef...
PODS
2006
ACM
134views Database» more  PODS 2006»
16 years 6 months ago
Finding global icebergs over distributed data sets
Finding icebergs ? items whose frequency of occurrence is above a certain threshold ? is an important problem with a wide range of applications. Most of the existing work focuses ...
Qi Zhao, Mitsunori Ogihara, Haixun Wang, Jun Xu
CC
2007
Springer
158views System Software» more  CC 2007»
15 years 6 months ago
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
Pierre McKenzie, Klaus W. Wagner
STACS
2010
Springer
16 years 1 months ago
On Equations over Sets of Integers
Artur Jez, Alexander Okhotin