Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning

Downloads:

  • No text available
  • No slides available

BibTeX:

  {%raw%}@article{publication-62,
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann},
  title = {Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning},
  journal = {Journal of Universal Computer Science (Online)},
  year = {2010},
  volume = {16},
  pages = {3016--3042},
  issn = {09486968}
}
{%endraw%}