5216 search results - page 618 / 1044 » Planning as Model Checking |
188
click to vote
CLIMA
2010
15 years 8 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
175
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...
156
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we study an online make-to-order variant of the classical joint replenishment problem (JRP) that has been studied extensively over the years and plays a fundamental...
166
click to vote
ANOR
2008
15 years 7 months ago
2008
Procurement is one of the major activities in the Manufacturing Resource Planning (MRP II), which is closely coupled with inventory management. Any improvement in this area will h...
112
click to vote
IJON
2006
15 years 6 months ago
2006
The monkey parietal anterior intraparietal area (AIP) is part of the grasp planning and execution circuit which contains neurons that encode object features relevant for grasping,...