1021 search results - page 75 / 205 » Concepts in Proof Planning |
AAI
2000
13 years 8 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present basic concepts and an outlook on current approaches and techniques of personal learning environments to point out their demands, focussing on recommendations i...
AIPS
2011
13 years 11 days ago
2011
The ignoring delete lists relaxation is of paramount importance for both satisficing and optimal planning. In earlier work (Hoffmann 2005), it was observed that the optimal relax...
JAIR
2011
2011
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
12 years 11 months ago
The ignoring delete lists relaxation is of paramount importance for both satisficing and optimal planning. In earlier work, it was observed that the optimal relaxation heuristic ...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...