Leadsto: A language and environment for analysis of dynamics by simulation (2005)

by Tibor Bosse , Catholijn M. Jonker , Lourens Van Der Meij , Jan Treur
Venue:Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence
Citations:168 - 123 self

Active Bibliography

9 BDI-Modelling of Complex Intracellular Dynamics – C. M. Jonker, J. L. Snoep, J. Treur
From Organisational Structure to Organisational Behaviour Formalisation – Catholijn M. Jonker, Jan Treur - 2002
Automated Analysis of Compositional Multi-Agent Systems – Alexei Sharpanskykh, Jan Treur
Patterns in World Dynamics Indicating Agency – Tibor Bosse, Jan Treur
10 Simulation and Analysis of Adaptive Agents: an Integrative Modelling Approach – Tibor Bosse, Catholijn M. Jonker, Jan Treur
1 Formal Analysis of Design Process Dynamics * – Tibor Bosse, Catholijn M. Jonker, Jan Treur
1 Formal Analysis of Trust Dynamics in Human and Software Agent Experiments – Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov
4 Specification, Analysis and Simulation of the Dynamics Within an Organisation – Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards
1 The Living Cell as a Multi-Agent Organisation: A Compositional Organisation Model of Intracellular Dynamics – C. M. Jonker, J. L. Snoep, J. Treur, H. V. Westerhoff, W. C. A. Wijngaards
Exploring the Future with Resource-Bounded Agents ∗ [INVITED CONTRIBUTION] – Michael Fisher
Agent Deliberation in an Executable Temporal Framework – Michael Fisher
24 K.: Rule systems for run-time monitoring: From Eagle to RuleR – Howard Barringer, David Rydeheard, Klaus Havelund - 2007
A Unified Specification Format for Interlevel Relations between Agent Models in Multiple Abstraction Dimensions 1 – unknown authors
4 A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models – Tibor Bosse, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur
2 On the use of Organisation Modelling Techniques to Address Biological Organisation – Tibor Bosse, Catholijn M. Jonker, Jan Treur
IOS Press Automated formal analysis of human – unknown authors
Cognition – unknown authors - 2006
13 Formal modeling and analysis of organizations – Egon L. Van Den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum - 2005
1 Translating into an Intermediate Agent Layer: A Prototype in Maude ⋆ (Extended Abstract) – Berndt Farwer, Louise Dennis