2840 search results - page 357 / 568 » Information Retrieval and Artificial Intelligence |
195
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
147
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...
195
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
160
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
172
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Despite a big progress in solving planning problems, more complex problems still remain hard and challenging for existing planners. One of the most promising research directions i...