ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- 2025
- Science of Computer Programming
Bachelor's at Computer Science from UFRJ (2001), master's at Computer Science from UFF (2005) and doctorate at Computer Science from PUC-Rio (2010). I have experience in Computer Science on the following subjects: description logic, proof theory, ontology, functional programming and category theory.