4595 search results - page 128 / 919 » Reasoning about Plans |
155
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
171
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We present a hill-climbing algorithm to solve planning problems with temporal uncertainty. First an optimistic plan that is valid when all actions complete quickly is found. Then ...
190
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
187
click to vote
AIL
2005
15 years 6 months ago
2005
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
185
click to vote
LICS
2003
IEEE
16 years 6 days ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...