107 search results - page 10 / 22 » Planning and Patching Proof |
93
Voted
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
- We are conducting research and development in technology for unifying the information of a large number of intelligent sensors distributed in a disaster-stricken area. Operating ...
AIR
2004
14 years 9 months ago
2004
This paper presents an alternative to the `speech acts with STRIPS' approach to implementing dialogue: a fully implemented AI planner which generates and analyses the semantic...
87
Voted
NETWORKS
2011
14 years 4 months ago
2011
Abstract. We consider a basic subproblem which arises in line planning, and is of particular importance in the context of a high system load or robustness: How much can be routed m...
67
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
If you are sharing a meal with a companion, how best to make sure you get your favourite fork-fulls? Ethiopian Dinner is a game in which two players take turns eating morsels from ...
JAIR
2008
14 years 9 months ago
2008
We study the complexity of cost-optimal classical planning over propositional state variables and unary-effect actions. We discover novel problem fragments for which such optimiza...