1614 search results - page 64 / 323 » Planning as Temporal Reasoning |
188
Voted
FLAIRS
2004
15 years 8 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
156
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
162
click to vote
AAAI
2011
14 years 6 months ago
2011
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
168
click to vote
IJCAI
2001
15 years 8 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
129
Voted
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
