Corresponding author: Alexandre Rademaker ( arademaker@inf.puc-rio.br ) © Alexandre Rademaker, Edward Haeusler. This article is freely available under the J.UCS Open Content License. Citation:
Rademaker A, Haeusler EH (2010) Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. JUCS - Journal of Universal Computer Science 16(20): 3016-3042. https://doi.org/10.3217/jucs-016-20-3016 |