92 search results - page 2 / 19 » Proof Planning with Multiple Strategies |
MKM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we investigate a model of a combinatorial, procurement multi-attribute auction, in which each sales item is defined by several attributes called quality, the buyer...
WINE
2010
Springer
13 years 3 months ago
2010
Springer
In this paper, we characterize strategy-proof voting rules when the set of alternatives has a multi-issue structure, and the voters' preferences are represented by acyclic CP-...
AAAI
2010
13 years 5 months ago
2010
An optimization variant of a problem of path planning for multiple robots is addressed in this work. The task is to find spatial-temporal path for each robot of a group of robots ...
INTERACT
2007
13 years 6 months ago
2007
Many studies have shown how knowledge workers face challenges while multi-tasking among several projects and initiatives at the workplace. Researchers and consultants of personal p...