In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since a complete mental model based on vision...
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...