Project Details
Projekt Print View

Interactive Exploration of Visual Models ((14) E01)

Subject Area Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing
Theoretical Computer Science
Term since 2019
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660
 
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.
DFG Programme CRC/Transregios
Applicant Institution Universität des Saarlandes
 
 

Additional Information

Textvergrößerung und Kontrastanpassung