an important need in radiation therapy is a fast and accurate treatment planning system. this system using ct data and characteristics of the radiation beam, calculates the dose in all points of the patient’s volume. two main factors in planning system are “accuracy” and “speed”. according to these factors, various generation of treatment planning systems are developed.   this article is the re...

Plan-Verification is the task of determining whether a plan is a solution to a given planning problem. Any plan verifier has, apart from showing that verifying plans is possible in practice, a wide range of possible applications. These include mixed-initiative planning, where a user is integrated into the planning process, and local search, e.g., for post-optimising plans or for plan repair. In...

The current UK Government have made a commitment to provide 100% of their services on-line by 2005 through ambitious plans to use Information Communication Technologies (ICTs) to deliver a whole range of services to citizens. In particular the UK Government have recently invested over £4m in a Planning Portal which will be a general planning advisory service linking the public, business and oth...

In order to achieve smooth autonomous driving in real-life urban and highway environments, a motion planner must generate trajectories that are locally smooth and responsive (reactive), and at the same time, far-sighted and intelligent (deliberative). Prior approaches achieved both planning qualities for full-speed-range operations at a high computational cost. Moreover, the planning formulatio...

We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by mu...

Perioperative care is complex and involves multiple interconnected subsystems. Delayed starts, prolonged cases and overtime are common. Surgical procedures account for 40-70% of hospital revenues and 30-40% of total costs. Most planning and scheduling in healthcare is done without modern planning tools, which have potential for improving access by assisting in operations planning support. We id...

We describe a new planning technique that efficiently solves probabilistic propositional contingent planning problems by converting them into instances of stochastic satisfiability (SSat) and solving these problems instead. We make fundamental contributions in two areas: the solution of SSat problems and the solution of stochastic planning problems. This is the first work extending the planning...

In future planetary exploration missions, rovers will be required to autonomously traverse challenging environments. Much of the previous work in robot motion planning cannot be successfully applied to the rough-terrain planning problem. A model-based planning method is presented in this paper that is computationally efficient and takes into account uncertainty in the robot model, terrain model...