CAEPIA
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we propose the design of an agent for the ART Testbed, a tool created with the goal of objectively evaluate different trust strategies. The agent design includes a tr...
CAEPIA
2009
Springer
13 years 12 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
CAEPIA
2009
Springer
13 years 12 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
CAEPIA
2009
Springer
13 years 12 months ago
2009
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, little is known about the fac...
CAEPIA
2009
Springer
13 years 12 months ago
2009
Springer
