category IV. RIMC, course D) WIG.

Predicates

Meta Model

Modal Operators

Generalisations

Stuck State - Resources

Criteria Elicitation