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:153 - 114 self

Active Bibliography

9 BDI-Modelling of Complex Intracellular Dynamics – C. M. Jonker, J. L. Snoep, J. Treur
10 Simulation and Analysis of Adaptive Agents: an Integrative Modelling Approach – Tibor Bosse, Catholijn M. Jonker, Jan 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
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
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
1 On the use of Organisation Modelling Techniques to Address Biological Organisation – Tibor Bosse, Catholijn M. Jonker, Jan Treur
4 Specification, Analysis and Simulation of the Dynamics Within an Organisation – Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards
53 Specification and Verification of Dynamics in Agent Models – Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Alexei Sharpanskykh, Jan Treur
60 Specification and Verification of Dynamics in Cognitive Agent Models – Tibor Bosse, Catholijn M. Jonker, Lourens Van Der Meij, Alexei Sharpanskykh, Jan Treur - 2006
5 Integrating Agent Models and Dynamical Systems – Tibor Bosse, Alexei Sharpanskykh, Jan Treur - 2007
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
RELATING KNOWLEDGE SPECIFICATIONS BY REDUCTION MAPPINGS – Alexei Sharpanskykh, Jan Treur
Constraint Deduction in an Interval-based Temporal Logic – Jana Koehler Ralf, Ralf Treinen - 1993