Bernardo Alkmim

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Reasoning Services

Intuitionistic Logic

Natural Deduction

Top Venues

Description Logics

Publications

Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics (2022)
Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. XAILA@JURIX (2020)
Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe
A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. AICOL (2020)
Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker
Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX (2018)