Utilizing IALC to formalize the Brazilian OAB exam
- Bernardo Alkmim
- Alexandre Rademaker
- et al.
- 2018
- XAILA 2018
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.