517 search results - page 60 / 104 » Computing Fuzzy Answer Sets Using dlvhex |
ICLP
2003
Springer
14 years 4 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
KR
2010
Springer
14 years 3 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
STOC
2006
ACM
14 years 5 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
ISMB
1997
14 years 10 days ago
1997
1 W’edescribe a novel approach for predicting the function of a protein from its amino-acid sequence. Given features that can be computedfrom the amino-acid sequence in a straigh...