![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
102 Result(s)
-
Chapter
Modeling Distributed Industrial Processes in a Multi-Agent Framework
Automation of industrial and business processes has focused primarily on modeling information available within and applicable to an organization. Large quantities of data have become not only available but als...
-
Chapter and Conference Paper
Formalisation of a cooperation model based on joint intentions
A cooperation model based on joint intentions introduced by Jennings is formalised within the modelling framework DESIRE for compositional multi-agent systems. By formalising the model in the DESIRE framework ...
-
Chapter and Conference Paper
Modelling an agent's mind and matter
In agent models often it is assumed that the agent maintains internal representations of the material world (e.g., its beliefs). An overall model of the agent and the material world necessarily incorporates su...
-
Chapter and Conference Paper
Panel: Methodologies for multi-agent systems
Multi-Agent Systems technologies are migrating from research labs to software engineering centres. If these technologies are to realize their potential, it will become increasingly important to develop and emp...
-
Chapter and Conference Paper
Agent modelling in MetateM and DESIRE
In spite of the rapid spread of agent technology, there is, as yet, little evidence of an engineering approach to the development of multi-agent systems. For example, both development methods and verification tec...
-
Chapter and Conference Paper
Formal Analysis of Models for the Dynamics of Trust Based on Experiences
The aim of this paper is to analyse and formalise the dynamics of trust in the light of experiences. A formal framework is introduced for the analysis and specification of models for trust evolution and trust ...
-
Chapter and Conference Paper
Modelling Internal Dynamic Behaviour of BDI Agents
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, ...
-
Chapter and Conference Paper
Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic
Compositional verification aims at managing the complexity of the verification process by exploiting compositionality of the system architecture. In this paper we explore the use of a temporal epistemic logic ...
-
Chapter and Conference Paper
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, i...
-
Chapter
An Executable Model of the Interaction between Verbal and Non-verbal Communication
In this paper an executable generic process model is proposed for combined verbal and non-verbal communication processes and their interaction. The model has been formalised by three-levelled partial temporal ...
-
Chapter and Conference Paper
Deliberative Normative Agents: Principles and Architecture
In this paper norms are assumed to be useful in agent societies. It is claimed that not only following norms, but also the possibility of ‘intelligent’ norm violation can be useful. Principles for agents that ...
-
Chapter and Conference Paper
Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded m...
-
Chapter
Modeling User Preferences and Mediating Agents in Electronic Commerce
An important ingredient in agent-mediated Electronic Commerce is the presence of intelligent mediating agents that assist Electronic Commerce participants (e.g., individual users, other agents, organisations)....
-
Chapter and Conference Paper
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
In this paper a modelling approach to the dynamics within a multi- agent organisation is presented. A declarative, executable temporal modelling language for organisation dynamics is proposed as a basis for si...
-
Chapter and Conference Paper
A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment is presented that can be use...
-
Chapter and Conference Paper
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
In agent-mediated applications, the configuration of the multi-agent system often changes due to the creation and the deletion of agents. The behaviour of such systems on the one hand depends on the structural...
-
Chapter and Conference Paper
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
The main question addressed in this paper is how requirements on the dynamics within an organization model can be specified and how the dy-namics within such an organization can be formally analysed. A specifi...
-
Chapter and Conference Paper
Organisational Change: Deliberation and Modification
For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational behaviour, i.e., organisational changes. ...
-
Chapter and Conference Paper
Temporal and Spatial Analysis to Personalise an Agent’s Dynamic Belief, Desire, and Intention Profiles
The paper addresses the dynamic belief, desire and intention profiles that can be made of an agent following a particular route, for example through a city. It assumes that location of an agent has effects on ...
-
Chapter and Conference Paper
Relating Structure and Dynamics in Organisation Models
To understand how an organisational structure relates to dynamics is an interesting fundamental challenge in the area of social modelling. Specifications of organisational structure usually have a diagrammatic...