170 search results - page 18 / 34 » A formal approach to negotiating agents development |
AMEC
2004
Springer
14 years 1 months ago
2004
Springer
Negotiations are an important way of reaching agreements between selfish autonomous agents. In this paper we focus on one-to-many bargaining within the context of agent-mediated e...
IJFCS
2008
13 years 7 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
An agent-based tool for micro-level simulation of transport chains (TAPAS) is described. It is more powerful than traditional approaches as it is able to capture the interactions ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we develop a novel algorithm that allows service consumer agents to automatically select and provision service provider agents for their workflows in highly dynamic...