2981 search results - page 66 / 597 » Answer Set Planning |
107
Voted
CCCG
1996
15 years 3 months ago
1996
We present a heuristic approach to the geometric motion planning problem with the aim to quickly solve intuitively simple problems. It is based on a divide-and-conquer path search...
108
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
169
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
150
Voted
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
107
Voted
FOIKS
2004
Springer
15 years 7 months ago
2004
Springer
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...