4737 search results - page 68 / 948 » The LOGIC negotiation model |
TABLEAUX
1999
Springer
14 years 1 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
KI
2009
Springer
14 years 1 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
ATAL
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during pl...