Bernardo Alkmim

According to our database, Bernardo Alkmim authored at least 5 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

LLM Assisted Vocabulary Harmonization.

Maria Cláudia Reis Cavalcanti, Samir de Oliveira Ramos, Ronaldo Ribeiro Goldschmidt, Wallace Anacleto Pinheiro, Alexandra Miguel Raibolt da Silva, Alex Garcia, Bernardo Alkmim, Robinson Callou, Edward Hermann Haeusler, Cecília de Azevedo Castro César, Ferrucio de Franco Rosa, José Maria Parente de Oliveira

Proceedings of the 18th Seminar on Ontology Research in Brazil (ONTOBRAS 2025) and 9th Doctoral and Masters Consortium on Ontologies (WTDO 2025), São José dos Campos, Brazil, September 29, 2025

2022

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.

Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2020

Reasoning over Knowledge Graphs in an Intuitionistic Description Logic.

Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe

Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020

A Case Study Integrating Knowledge Graphs and Intuitionistic Logic.

Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe

Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2018

Utilizing iALC to Formalize the Brazilian OAB Exam.

Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker

Proceedings of the EXplainable AI in Law Workshop co-located with the 31st International Conference on Legal Knowledge and Information Systems, 2018