257 search results - page 14 / 52 » ai 2006 |
EXPERT
2007
14 years 9 months ago
2007
s planners work at a higher abstraction level while it performs low-level, often-repetitive tasks. It also helps them produce a plan rapidly, explore alternative solutions, and cho...
FLAIRS
2006
14 years 11 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
KI
2008
Springer
14 years 9 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
AAAI
2006
14 years 11 months ago
2006
Several forms of reasoning in AI
AI
2006
Springer
15 years 1 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...