A value/risk -based performance evaluation framework is proposed in the context of manufacturing processes at the industrialization phase of product development. Various risk factors of the manufacturing process are identified through Failure Mode and Effect Analysis (FMEA) and then embedded in the process plan models. Modelling and simulation are then employed for determining the value a proce...

O-Plan2 is an AI planning architecture which supports research into a number of aspects of planning, scheduling and control. It is based on earlier work on the O-Plan System which was directed towards plan generation. The paper explores the diierent types of choice ordering decisions which need to be made in an architecture for command and control. The mechanisms for choice ordering and selecti...

This Dagstuhl seminar brought together researchers with a wide range of interests and backgrounds related to plan and activity recognition. It featured a substantial set of longer tutorials on aspects of plan and activity recognition, and related topics and useful methods, as a way of establishing a common vocabulary and shared basis of understanding. Building on this shared understanding, indi...

My current main project concerns the study of the interaction between the theory of operads and genuine equivariant homotopy theory. Briefly, an operad (introduced by May in [13]) consists of a sequence Oˆn of sets/spaces of “n-ary operations” together with Σn-actions and suitable compositions. The main point of operad theory is then the study of the algebras over a fixed operad O, which are o...

This paper gives an outline of three diierent approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The rst approach borrows from thèAustralian Plan' semantics, which uses a unary operator`' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Au...

In CAD, symbolic geometric solvers allow to solve constraint systems, given under the form of a sketch and a set of constraints, by computing a symbolic construction plan describing how to build the required figure. But a construction plan does not usually define a unique figure, and the selection of the expected figure remains an important topic. This paper expose three methods, automatic or i...

This paper presents a theoretical framework for representing plans in a context-sensitive temporal probability logic and for reasoning about plans by constructing Bayesian networks from these knowledge bases. We provide a sound and complete network construction algorithm for evaluating plans which uses context information to index only the relevant portions of the knowledge base. We formalize p...

European Journal of Information Systems (2006) 15, 113–115. doi:10.1057/palgrave.ejis.3000622 This issue of the European Journal of Information Systems includes our special section on business agility as it relates to information systems. In preparing this editorial for the entire issue (the special section has its own introductory editorial by the guest editors), I discovered a common thread a...

A decision support system for crop management of winter wheat has been designed using CommonKADS and an object-oriented design methodology. The system contains a plan for the field management operations. The consequences (economic and environmental indicators) of a plan is estimated using a simulation model. The model will be run using different sets of weather conditions to estimate the variab...

Increasing market demands concerning customer requirements and market pressure from competitors force several enterprises to diversify their product range. Offering more and more product variants has the implicit impact of growing development process complexity. Although many configuration problems can be solved with knowledge-based configuration, the usage of configuration tools is very often ...