543 search results - page 21 / 109 » A Theory of Plan Modification |
106
click to vote
CEEMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
Dextrous manipulation planning is a problem of paramount importance in the study of multi ngered robotic hands. In this paper, we show in general, that all system variables the ng...
109
click to vote
CAV
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
AAAI
2008
15 years 3 days ago
2008
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
IJPRAI
2000
14 years 9 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...