Artificial Intelligence - Special volume on qualitative reasoning about physical systems
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
Software engineering (2nd ed.): principles and practice
Software engineering (2nd ed.): principles and practice
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Reasoning in Interval Temporal Logic
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
PLC-Automata: A New Class of Implementable Real-Time Automata
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Simulation and analysis of shared extended mind
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
Formalisation and analysis of the temporal dynamics of conditioning
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Cognitive Model for Visual Attention and Its Application
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Component-Based Architecture for Multi-Agent Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Modeling centralized organization of organizational change
Computational & Mathematical Organization Theory
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
A framework for formal modeling and analysis of organizations
Applied Intelligence
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society
Multi-Agent-Based Simulation VIII
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Agent-based analysis and simulation of meta-reasoning processes in strategic naval planning
Knowledge-Based Systems
An adaptive multi-agent organization model based on dynamic role allocation
International Journal of Knowledge-based and Intelligent Engineering Systems
Case analysis of criminal behaviour
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Integrating agent models and dynamical systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
The distributed weighing problem: a lesson in cooperation without communication
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Hi-index | 0.00 |
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamics of MAS can be modelled by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates simulation traces for further analysis, and constructs visual representations of traces. The approach proved its value in a number of projects within different domains of MAS research.