5216 search results - page 850 / 1044 » Planning as Model Checking |
155
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
142
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose an adaptive 1-to-many negotiation strategy for multiagent coalition formation in dynamic, uncertain, real-time, and noisy environments. Our strategy focuses on multi-is...
173
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
180
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
155
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The aim of this study is to identify factors that improve the performance of integrated supply chains (SCs). We developed the ‘extended strategic alignment model’ based on the ...