This project aims at developing novel visualisation concepts that facilitate human-centred explanation of formal explications of logic-based approaches. We will conduct visualisation research for formal methods and symbolic AI including the visualisation of a) ontology repair and consequence explications using Description Logics and b) probabilistic model checking. We will work towards our vision of a modular, generalised toolbox of visual model explanations informing future visualisation projects. We will also investigate adaptive visualisations as the core of developing a responsive visualisation framework that allows visual representations to react to various stakeholders, workflows and device contexts, and supporting multiple users in their collaborative work with model visualisations.
Principal Investigators
Members
