In an empirical study, eye-gaze patterns of pairs of students were recorded and analyzed in a remote situation where they had to build a concept map collaboratively. They were provided (or not), with a knowledge awareness tool that provided learner A with learner B's level of knowledge measured through a pre-test. Previous results showed that the awareness tool positively affected learning gain...

While in the past taxonomic and ontological knowledge was traditionally produced by small groups of co-located experts, today the production of such knowledge has a radically different shape and form. For example, potentially thousands of health professionals, scientists, and ontology experts will collaboratively construct, evaluate and maintain the most recent version of the International Clas...

The drive to improve the quality and reliability of model based water management has resulted in a number of quality assurance guidelines. Up to now all of these guidelines were available only in the form of handbooks. Within the HarmoniQuA project a software-based modelling Knowledge Base and support tools have been developed, that greatly enhance the way quality assurance guidelines are appli...

Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically expressed by two relations: deducibility and static equivalence. Several decision procedures have been proposed for these relations under a variety of equational the...