4595 search results - page 218 / 919 » Reasoning about Plans |
151
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
187
click to vote
AIPS
2009
15 years 8 months ago
2009
Despite its ubiquitous presence, very little is known about the odds of winning the simple card game of Klondike Solitaire. The main goal of this paper is to investigate the use o...
192
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Real-world robotic environments are highly structured. The scalability of planning and reasoning methods to cope with complex problems in such environments crucially de...
193
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
125
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the application of an action module planning method to an experimental climbing robot named LIBRA. The method searches for a sequence of physically realizable ...