Sciweavers

CAEPIA
2009
Springer
13 years 6 months ago
Developing Strategies for the ART Domain
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...
Javier Murillo, Víctor Muñoz, Beatri...
CAEPIA
2009
Springer
13 years 6 months ago
Base Belief Change for Finitary Monotonic Logics
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...
Pere Pardo, Pilar Dellunde, Lluis Godo
CAEPIA
2009
Springer
13 years 6 months ago
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
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...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
CAEPIA
2009
Springer
13 years 6 months ago
Empirical Hardness for Mixed Auctions
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...
Pablo Almajano, Jesús Cerquides, Juan A. Ro...