Abstract
This text presents an implementation of a concurrent attribute evaluator system. This system was developed with the main objective of allowing the implementation of several strategies of concurrent attribute evaluation and not to build a faster compiler to a specific case. The system is implemented in a tightly-coupled machine. One realistic compiler was built and the first results are discussed.

Abstract

Abstract
Understanding the properties of interactions is essential to the design of effective interactive systems involving two or more agents, and to the evaluation of existing systems. This understanding can inform the design of multi-agent systems by helping the designer identify properties that a system should conform to. In addition, a focus on the properties of interactions can lead to a better understanding of the space of possibilities, by recognizing features of multi-agent systems which are often simply incidental outcomes of design, not explicitly considered in the design specification. We present an Interaction Framework, in which abstract interactional requirements and properties can be expressed in a way which is not biased towards the perspective of any one agent to the interaction. These can be used to derive requirements on the design of computer systems, to highlight those aspects of users which influence the properties of the interaction, and hence to guide the design of the interactive system.

Abstract

Abstract
In this paper we are concerned with the problem of inducing recursive Horn clauses from small sets of training examples. The method of iterative bootstrap induction is presented. In the first step, the system generates simple clauses, which can be regarded as properties of the required definition. Properties represent generalizations of the positive examples, simulating the effect of having larger number of examples. Properties are used subsequently to induce the required recursive definitions. This paper describes the method together with a series of experiments. The results support the thesis that iterative bootstrap induction is indeed an effective technique that could be of general use in ILP.

Abstract
In this paper we put forward an approach to deriving and applying human error tolerance requirements. Such requirements are concerned with the response of a system to errors introduced by human operators. The approach provides a means by which operators' tasks can be described and analysed for likely errors and the impact of these errors on system safety can be explored. The approach, based on previous work by the same authors, uses a software engineering notation to provide the bridge between operator models and systems engineering concerns. In this paper the approach is extended to include a more refined understanding of the processes that contribute to human error. The operators' process in achieving goals is understood in terms of structured tasks. With this additional apparatus we are able to capture a more complex set of human error forms.