1201 search results - page 78 / 241 » On the cardinality of fuzzy sets |
108
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
101
click to vote
AAAI
2008
15 years 3 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
140
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
108
Voted
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
With the growing demand of databases outsourcing and its security concerns, we investigate privacy-preserving set intersection in a distributed scenario. We propose a one-round pr...
122
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...