The aim of this paper is to describe I-Sim, a simulation tool that is a fully integrated part of the underlying agent framework, I-X. I-Sim controls a discrete event simulator, based on the same activity model that is ...

This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploiting the strengths of each. On the one hand, ...

To achieve more widespread application, Workflow Management Systems (WfMS) need to be developed to operate in dynamic environments where they are expected to ensure that users are supported in performing flexible and ...

Despite rapid advances in Web Services, the user community as demanding requirements
continue to outstrip available technology solutions. To help close this gap, Semantic Web Services advocates are defining and implementing ...

Enterprise Modelling (EM) methods are well-recognised for their value in describing complex, informal domains in an organised
structure. EM methods are used in practice, particularly during the early stages of software ...

An important class of problems is related to performing activities, and the planning of future activity. The “doing of things” is at the heart of human endeavour. The WWW has primarily concentrated to date on information ...

We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. ...

We propose a novel methodology for learning and synthesising whole
classes of high dimensional movements from a limited set of demonstrated examples
that satisfy some underlying ’latent’ low dimensional task constraints. ...

The pi-calculus is a model of concurrent computation based upon the notion of naming. It is first presented in its simplest and original form, with the help of several illustrative applications. Then it is generalized from ...