................................................................................................................................... ii ACKNOWLEDGEMENTS ............................................................................................................ ii OVERVIEW ...............................................................................................................................

We eliminate symmetry from a problem before searching for a plan. The planning problem with symmetries is decomposed into a set of isomorphic subproblems. One plan is computed for a small planning problem posed by a descriptive quotient, a description of any such subproblem. A concrete plan is synthesized by concatenating instantiations of that one plan for each subproblem. Our approach is sound.

This paper studies optimal sales force compensation plans in a multi-period moral-hazard model when the firm wants to implement high effort in every period but only obtains aggregate information on sales. The sales agent chooses effort each period after observing previous sales and his incentive responsiveness might change over time. The paper derives conditions under which a linear incentive s...

This paper presents the Defense Logistics Information Service Data Quality plan. The data quality plan is defined and the action plan for one system is included. It discusses two systems involved in the prototype effort of the data quality plan. The data quality errors are briefly discussed.

Structural priming, the tendency for speakers to reuse the structures of recent utterances (Bock, 1986) or to produce repeated structures more fluently, is well documented for structural selection, but less so for phrase structure generation. Priming of structural choices is long-lived, persisting across intervening utterances (Bock & Griffin, 2000), but priming of phrase structure does not sur...

The paper introduces the notion of Temporal MultiAgent Plan (TMAP) and proposes a methodology, based on Simple Temporal Problems (STP), for detecting and diagnosing action execution delays. Actions are characterized by a finite set of behavioral modes, and each behavioral mode is a continuous interval of possible durations of the action. Nominal modes represent the expected durations, whereas f...

We present visualization and interaction techniques for preoperative planning in oncologic liver surgery. After several image processing steps a 3d visualization of all relevant anatomic and pathologic structures is created. In this 3d visualization a surgeon can flexibly specify resection regions with resection tools which can be applied selectively to different structures. The combination of ...

This paper illustrates how a modified version of a modern Partial Order Planner (POP) can be combined with a replanning algorithm to solve planning problems in Web service domains. The contributions of the work are (i) a method of using feedback gained from plan execution for improving plan search and (ii) a novel approach of dealing with nondeterministic Web service operations.

Executive Summary ..................................................................................... 3 How Private Hospital Competition Can Improve Canadian Health Care ................................................................................................ 5 The Alberta Plan ......................................................................................... 5 The Theory: Why I...

We describe a dialogue evaluation plan for a multi-character virtual reality training simulation. A multi-component evaluation plan is presented, including user satisfaction, intended task completion, recognition rate, and a new annotation scheme for appropriateness. Preliminary results for formative tests are also presented.