163,075 research outputs found
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework
Full text linkThis paper discusses an example of the application of a high-level modelling framework which enables both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented
Analysis of the Dynamics of Cognitive Processes
Full text linkJonker, C.M. [Promotor]Treur, J. [Promotor
Measuring and modeling negative emotions for virtual training
Full text linkTreur, J. [Promotor]Bosse, T. [Copromotor
Formal Specification of Multi-Agent Systems
No full textIn this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems
On Computer-Aided Methods for Modeling and Analysis of Organizations
Full text linkTreur, J. [Promotor
Computing a Sustainable Future: Exploring the Added Value of Computational Models for Increasing the Use of renewable Energy in the Residential Sector
Full text linkTreur, J. [Promotor]Klein, M.C.A. [Copromotor
Physiology of Quality Change Modelling. Automated modelling of quality change of agricultural products
Full text linkTreur, J. [Promotor]Willems, M. [Promotor
Modeling of Change in Multi-Agent Organizations
Full text linkTreur, J. [Promotor]Jonker, C.M. [Promotor
De Amsterdamsche Hecuba. Treur-spel.
No full textVingerafdruk: 169304 - b1 A3 wOnderdeel van: Alle de treur-spelen. : Part 1. / By J. v. Vondel. — Amsterdam, J. de Wees bookseller, 1700.Europeana-GoogleBook
- …
