4737 search results - page 68 / 948 » The LOGIC negotiation model |
147
Voted
TABLEAUX
1999
Springer
15 years 9 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...
138
click to vote
KI
2009
Springer
15 years 10 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...
151
click to vote
BPM
2007
Springer
15 years 11 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...
151
Voted
TGC
2007
Springer
15 years 11 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...
139
Voted
ATAL
1999
Springer
15 years 9 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...