Sciweavers

260 search results - page 12 / 52
» atal 2007
Sort
View
ATAL
2007
Springer
15 years 4 months ago
Coalition structure generation with worst case guarantees based on cardinality structure
K n CCS n b kkn n K n K Categories and Subject Descriptors Artificial Intelligence General Terms Keywords
She-Xiong Su, Shan-Li Hu, Chun-Yi Shi
ATAL
2007
Springer
15 years 4 months ago
Implementing the maximum of monotone algorithms
Running several sub-optimal algorithms and choosing the optimal one is a common procedure in computer science, most notably in the design of approximation algorithms. This paper d...
Liad Blumrosen
ATAL
2007
Springer
15 years 2 months ago
Towards provably secure trust and reputation systems in e-marketplaces
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
Reid Kerr, Robin Cohen
ATAL
2007
Springer
15 years 4 months ago
Model Checking Norms and Sanctions in Institutions
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciï...
Francesco Viganò, Marco Colombetti
ATAL
2007
Springer
15 years 4 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling