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

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

Cached

Download Links

Other Repositories/Bibliography

DBLP

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

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Leadsto: A language and environment for analysis of dynamics by simulation	INFERENCE
AUTHOR NAME	Tibor Bosse	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Vrije Universiteit Amsterdam, Department of Artificial Intelligence,	SVM HeaderParse 0.2
AUTHOR ADDR	De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Catholijn M. Jonker	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Nijmegen Institute for Cognition and Information, Division Cognitive Engineering,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Lourens Van Der Meij	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Vrije Universiteit Amsterdam, Department of Artificial Intelligence,	SVM HeaderParse 0.2
AUTHOR ADDR	De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Jan Treur	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Vrije Universiteit Amsterdam, Department of Artificial Intelligence,	SVM HeaderParse 0.2
AUTHOR ADDR	De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands	SVM HeaderParse 0.2
ABSTRACT	Abstract. 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. 1	SVM HeaderParse 0.2
YEAR	2005	INFERENCE
VENUE	Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	165--178	INFERENCE
VOLUME	3550	INFERENCE
CITATIONS	11 found	ParsCit 1.0