Login / Signup
Julián Méndez
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 9
Top Topics
Knowledge Representation Formalisms
Owl Ontologies
Description Logics
Theorem Prover
Top Venues
CoRR
ISMAR-Adjunct
Description Logics
COMMA
</>
Publications
</>