Autor der Publikation

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.

, , , , , und . Comput. Graph. Forum, (September 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging., , , , , und . Comput. Graph. Forum, (September 2023)PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking., , , , , und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 361-375. Springer, (2023)How Does Explainability Look in Hybrid User Interfaces?, , und . ISMAR-Adjunct, Seite 251-256. IEEE, (2023)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne., , , , , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces., , , , , und . COMMA, Volume 353 von Frontiers in Artificial Intelligence and Applications, Seite 116-127. IOS Press, (2022)Evonne: Interactive Proof Visualization for Description Logics (System Description)., , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 271-280. Springer, (2022)Fantastic Hybrid User Interfaces and How to Define Them., und . ISMAR-Adjunct, Seite 247-250. IEEE, (2023)Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources., , , , , und . (Mai 2022)Visual Analysis of Hyperproperties for Understanding Model Checking Results., , , , , , , , und . IEEE Trans. Vis. Comput. Graph., 28 (1): 357-367 (2022)Software Para la Reconstrucción de Modelos del Subsuelo en Dos y Tres Dimensiones., , und . Rev. Colomb. de Computación, 12 (1): 1-10 (2011)