212 search results - page 43 / 43 » Lazy Arc Consistency |
AI
2011
Springer
12 years 12 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
COMPGEOM
2007
ACM
13 years 6 months ago
2007
ACM
Computing shadow boundaries is a difficult problem in the case of non-point light sources. A point is in the umbra if it does not see any part of any light source; it is in full l...