160 search results - page 25 / 32 » Applying the Mu-Calculus in Planning and Reasoning about Act... |
155
click to vote
FLAIRS
2006
15 years 7 months ago
2006
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
156
click to vote
IJCAI
1997
15 years 7 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
201
click to vote
PROMAS
2004
Springer
15 years 11 months ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
170
Voted
AIME
2009
Springer
16 years 20 days ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
128
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Sun-synchronous exploration is accomplished by reasoning about sunlight: where the Sun is in the sky, where and when shadows will fall, and how much power can be obtained through ...