This paper proposes the use of responsibility modelling as a tool to support the process of contingency planning for civil emergencies. Existing contingency planning techniques produce documents which are difficult to analyse for vulnerabilities, particularly across organisational boundaries and are likely to be largely unused during an actual emergency. This paper presents a new approach to co...

Serious gaming is developing among all modern armies for teaching and training as well as for developing new concepts of engagement. To reach a realistic level of simulation, online planning techniques provide an expressive and constructive approach to define basic tactical activities. To achieve a mission goal, a virtual soldier must follow a short-term plan that can be quickly reprocessed in ...

The main objective of this study was to examine how activity-based costing would be carried out by a standard Enterprise Resource Planning (ERP) system. According to Cooper and Kaplan the requirements for operational-control and ABC systems have fundamentally different purposes and a single, fully integrated approach cannot be adequate for both of these. Nevertheless, the purpose was to extend ...

Two common types of planning systems are “domainindependent” and “domain-configurable”. Domainconfigurable planners can perform very well, but require much hand-tuning for peak performance. Domainindependent planners do not require human aid, but do not perform as well on some problems. Hybrid planners attempt to combine the strengths of these two styles while minimizing their weaknesses.

Proof planning is an application of Artiicial Intelligence (AI)-planning in mathematical domains for theorem proving. The paper presents a knowledge-based proof planning approach that is implemented in the OMEGA proof planner. It evaluates control-rules in order to restrict the otherwise intractable search spaces and combines proof planning with domain-speciic constraint solving. Several AI-tec...

This is Part II of a two-part series. Pan I showed how pure and generalized network models, and advances in methods of solving them. have resulted in dramatic cost savings for OR/MS practitioners. This paper focuses on network related formulation (NETFORM) models, which encompass an even wider variety of applications. We show how NETFORM has enabled the efficient solution of problems in schedul...

that can describe a set of actions. .. that can be expected to allow the system to reach a desired goal. A long-standing problem in the field of automated reasoning is designing systems that can describe a set of actions (or a plan) that can be expected to allow the system to reach a desired goal. Ideally, this set of actions is then passed to a robot, a m a n u f a c t u r i n g system, or som...

This paper reviews recent innovations in the use of participatory tools and methods that are relevant to urban areas. This includes the use of participatory approaches for understanding poverty, involving children, identifying livelihood opportunities, and monitoring and evaluating projects. It also highlights recent literature which discusses how participatory and conventional research and pla...

Systematic conservation planning (SCP) represents a significant step toward cost-effective, transparent allocation of resources for biodiversity conservation. However, research demonstrates important consequences of uncertainties in SCP and of basing methods on simplified circumstances involving few real-world complexities. Current research often relies on single case studies with unknown forms...