A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
Symbolic model checking for real-time systems
Information and Computation
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Modal and temporal properties of processes
Modal and temporal properties of processes
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
SDML: A Multi-Agent Language for Organizational Modelling
Computational & Mathematical Organization Theory
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Model-Checking for Extended Timed Temporal Logics
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Transactions on computational collective intelligence I
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Specification of interlevel relations for agent models in multiple abstraction dimensions
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
| Hi-index | 0.00 |
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisation is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties within an organisation, another declarative specification language is put forward, which is much more expressive than the executable language for simulations. Supporting tools have been implemented that consist of a software environment for simulation of organisation models and a software environment for analysis of dynamic properties against traces of dynamics within an organisation.