5216 search results - page 526 / 1044 » Planning as Model Checking |
163
click to vote
COLING
1996
15 years 8 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
160
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
A nonlinear control law to steer the unicycle model to a static or dynamic target pose is presented. If the target is static the control signals are smooth in their arguments and t...
178
click to vote
ATAL
1999
Springer
15 years 11 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...
167
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
ion level of Change Subject of Change Properties of Change Type Instance Functional Perspective Organizational Perspective Extent Behavioral Perspective Informational Perspective O...
221
click to vote
IJCAI
2001
15 years 8 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...