Sorry, this content is only available in German. For your convenience, it is shown below in this language.

Wie können wir angemessene und möglichst natürliche Formen der Kommunikation zwischen Mensch und Computern entwickeln? Künftig werden Computer kaum mehr als solche wahrgenommen werden, sondern nahtlos in unsere Lebens- und Arbeitswelten integriert sein, z.B. in cyber-physikalischen Systemen. Wie kann der Mensch dabei mit seinen Erfahrungen, Sinnesorganen, gestischen Ausdrucksmöglichkeiten sowie sozialen Bedürfnissen effektiv unterstützt werden?

Im Vordergrund unserer Arbeit steht die systematische und grundlegende Erforschung verschiedenartiger, möglichst natürlicher Interaktionsmodalitäten und deren synergistischer Kombination. Dabei forschen wir zu gestischer Multitouch-Interaktion, digitalen Stiften in Kombination mit digitalem Papier, der effizienten Kombination von Touch- und Stifteingabe, gestischer Interaktion mit Händen, Kopf und Füßen, blick-unterstützter Interaktion für entfernte Displays sowie be-greifbaren Tangibles. Dabei liegt unser Fokus auf kleinen und großen interaktiven Oberflächen (Minidisplays, Smartphones, Tablets, Tabletops, hochaufgelöste Wandgroßdisplays) sowie deren effektiver Kombination in Multi-Display-Umgebungen.

Die entwickelten Techniken und Prinzipien wenden wir in verschiedenen Anwendungsdomänen und Projekten mit akademischen und industriellen Partnern aus dem Aus- und Inland an. Wir untersuchen darüber hinaus, wie moderne User Interfaces und Interaktionstechniken in den Bereichen Interaktive Informationsvisualisierung, Musikinformatik und Semantic Web gewinnbringend eingesetzt werden können.

Recent Publications

  • NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.

    Dachselt, R.; Gaggl, S.; Krötzsch, M.; Méndez, J.; Rusovac, D.; Yang, M.;

    @inproceedings{E3-Dachselt+22:Nexas,
       author = {Raimund Dachselt and Sarah Gaggl and Markus Kr\"{o}tzsch and Juli\'{a}n M\'{e}ndez and Dominik Rusovac and Mei Yang},
       title = {NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces}
    }

  • Evonne: Interactive Proof Visualization for Description Logics (System Description).

    Alrabbaa, C.; Baader, F.; Borgwardt, S.; Dachselt, R.; Koopmann, P.; Méndez, J.;

    @inproceedings{ABBDKM-IJCAR22,
       author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli\'{a}n M\'{e}ndez},
       title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)},
       series = {Lecture Notes in Computer Science}
    }

  • ExplainingHyperproperty_Teaser

    Explaining Hyperproperty Violations.

    Coenen, N.; Dachselt, R.; Finkbeiner, B.; Frenkel, H.; Hahn, C.; Horak, T.; Metzger, N.; Siber, J.;

    @inproceedings{coenen2022hyperproperty,
       author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber},
       title = {Explaining Hyperproperty Violations},
       series = {CAV 22}
    }

  • On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.

    Alrabbaa, C.; Borgwardt, S.; Friese, T.; Koopmann, P.; Méndez, J.; Popovič, A.;

    @inproceedings{ABFKMP-DL-2022,
       author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
       title = {On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne}
    }

  • Explaining Description Logic Entailments in Practice with Evee and Evonne.

    Alrabbaa, C.; Borgwardt, S.; Friese, T.; Koopmann, P.; Méndez, J.; Popovič, A.;

    @inproceedings{ABFKMP-XLoKR-22,
       author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
       title = {Explaining Description Logic Entailments in Practice with Evee and Evonne}
    }