Méndez, Julián

1. Visual Analysis of Hyperproperties for Understanding Model Checking Results
   2021/08/08 by Horak, Tom, Coenen, Norine, Metzger, Niklas +6 · 3 citations
   #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Logic in Computer Science (cs.LO)
2. On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
   2022/06/15 by Christian Alrabbaa, Stefan Borgwardt, Alrabbaa, Christian +9 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services