Bernardo Alkmim

According to our database, Bernardo Alkmim authored at least 4 papers between 2018 and 2022.

Collaborative distances:

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

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