Huitzil Ignacio

Role
Research fellow  
Academic disciplines
Informatica (INF/01)

Publications

  • Huitzil, I., Mazzotta, G., Penaloza, R., Ricca, F. (2023). ASP-based Axiom Pinpointing for Description Logics. In Proceedings of the 36th International Workshop on Description Logics (DL 2023)
    co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning
    and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023) (pp.1-13). CEUR-WS.
     Detail