From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version., , , , , и . CoRR, (2022)PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking., , , , , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 361-375. Springer, (2023)Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging., , , , , и . Comput. Graph. Forum, (сентября 2023)How Does Explainability Look in Hybrid User Interfaces?, , и . ISMAR-Adjunct, стр. 251-256. IEEE, (2023)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne., , , , , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces., , , , , и . COMMA, том 353 из Frontiers in Artificial Intelligence and Applications, стр. 116-127. IOS Press, (2022)Evonne: Interactive Proof Visualization for Description Logics (System Description)., , , , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 271-280. Springer, (2022)Visual Analysis of Hyperproperties for Understanding Model Checking Results., , , , , , , , и . CoRR, (2021)Fantastic Hybrid User Interfaces and How to Define Them., и . ISMAR-Adjunct, стр. 247-250. IEEE, (2023)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)., , , , , и . CoRR, (2022)