Author of the publication

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

, , , , , and . Automated Reasoning, page 271--280. Cham, Springer International Publishing, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Méndez, Julián
add a person with the name Méndez, Julián
 

Other publications of authors with the same name

How Does Explainability Look in Hybrid User Interfaces?, , and . 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), page 251--256. (2023)How Does Explainability Look in Hybrid User Interfaces?, , and . 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), IEEE, (October 2023)Fantastic hybrid user interfaces and how to define them, and . 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), IEEE, (October 2023)NEXAS: A visual tool for navigating and exploring argumentation solution spaces, , , , , and . Computational Models of Argument, IOS Press, (September 2022)Evonne: Interactive Proof Visualization for Description Logics (System Description), , , , , and . Automated Reasoning, page 271--280. Cham, Springer International Publishing, (2022)