Cover

Based on model-based diagnosis techniques [12, 17, 26], the environment supports users in the following situa- tions: (1) if no solution could be found for a set of user

Several challenges are faced in this research work in the FCA framework: the mining of complex sequential data and dynamics in adapting two algorithms based on pattern structures,

The CLR method consists of three main steps: i) construction of the formal context of documents-terms and building of the corresponding concept lattice ii) insertion in the lattice of

For process enhancement, by formal concept analysis based on a pair of features from different perspectives, we define subsequences of events whose stops are fatal to execution of

We describe an approach to the specification, analysis and verification of AADL models using assume/guarantee behavioural con- tracts specified with the Property Specification

There are several FCA-based models for data analysis and knowledge processing, including classification based on learning from positive and negative examples [1, 2].. In our

Smart games in TERENCE consist of reasoning tasks about the characters and events of a story, as well as on their relations, and are designed on effective pedagog- ical interventions

They identify the areas of making reflection theory applicable in work context, investigating the interrelationship between individual, collaborative and organisational learning