E1 – Interactive Exploration of Visual Models

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

Principal Investigator
Technische Universität Dresden
Principal Investigator
Technische Universität Dresden
Principal Investigator
Technische Universität Dresden

Members

Member
Vrije Universiteit Amsterdam

Researchers

Christian Alrabbaa
( , )
Sascha Klüppelholz
( , , )
Max Korn
( )
Ricardo Langner
( )
Weizhou Luo
( , )
Annett Mitschick
( )
Julián Méndez
( , )
Ida Sri Rejeki Siahaan
( , )

Publications