11 search results - page 3 / 3 » A Compact and Efficient SAT Encoding for Planning |
AIPS
2008
13 years 7 months ago
2008
When controlling an autonomous system, it is inefficient or sometimes impossible for the human operator to specify detailed commands. Instead, the field of AI autonomy has develop...