Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...
Natalie M. Steiger, Emily K. Lada, James R. Wilson...
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
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 organisat...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...