1917 search results - page 241 / 384 » Experimenting with Nonmonotonic Reasoning |
169
click to vote
APPT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
146
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
138
click to vote
ICCBR
2009
Springer
16 years 27 days ago
2009
Springer
Case-base administrators face a choice of many maintenance algorithms. It is well-known that these algorithms have different biases that cause them to perform inconsistently over ...
148
click to vote
ICCBR
2009
Springer
16 years 27 days ago
2009
Springer
Case-based planning (CBP) systems are based on the idea of reusing past successful plans for solving new problems. Previous research has shown the ability of meta-reasoning approac...
160
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...