579 search results - page 14 / 116 » Combined reasoning by automated cooperation |
GI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
IDT
2007
13 years 8 months ago
2007
This paper presents an approach to automated negotiation between agents which attempts to combine the advantages of a co-operative value adding approach, with the reality that neg...
EWIMT
2004
13 years 10 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
EASSS
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...