5216 search results - page 21 / 1044 » Planning as Model Checking |
KR
1998
Springer
14 years 3 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
AIPS
2000
14 years 8 days ago
2000
We describe a methodology for representing and optimizing user preferences on plans. Our approach differs from previous work on plan optimization in that we employ a generalizatio...
AAAI
2007
14 years 1 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
AIPS
2004
14 years 9 days ago
2004
Symbolic non-deterministic planning represents action effects as sets of possible next states. In this paper, we move toward a more probabilistic uncertainty model by distinguishi...
ECIS
2001
14 years 9 days ago
2001
The IT Plan is generally seen as a cornerstone of the IS/IT presence in an organisation. Researchers have outlined various approaches to IT planning and many have suggested catego...