Repository navigation
Calculi for Description Logics #49
Description
See http://arademaker.github.io/bibliography/phdthesis-4.html. A sequent calculus and natural deduction for the description logics ACL and ALCQ. Not clear if this is the best way to contribute ... Let me know.
Activity
Zahnentferner commentedon Dec 6, 2016
Oi @arademaker ! Obrigado pelo interesse em contribuir!
A melhor maneira de contribuir é seguir as instruções de submissão (http://proofsystem.github.io/Encyclopedia/). Caso encontre dificuldades em compilar a encyclopaedia, me contacte.
A Giselle e eu submetemos uma proposta pra organizar um evento afiliado à Tableaux/FroCoS/IPT em Brasilia voltado à Encyclopaedia of Proof Systems. Caso a nossa proposta seja aprovada, qualquer contribuição sua será automaticamente considerada como uma contribuição a esse evento também, caso você tenha interesse.