117
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
109
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
132
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Grafted trees are trees that are constructed using two methods. The first method creates an initial tree, while the second method is used to complete the tree. In this work, the fi...
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...