Intuitionistic Description Logic for Legal Reasoning

Downloads:

BibTeX:

  {%raw%}@inproceedings{publication-52,
  author = {Haeusler, Edward Hermann and dePaiva, Valeria and Rademaker, Alexandre},
  title = {Intuitionistic Description Logic for Legal Reasoning},
  booktitle = {XVI The Brazilian Logic Conference},
  year = {2011},
  address = {Petr\'{o}polis},
  file = {:http://www.cle.unicamp.br/ebl2011/:TYPE},
  pdflink1 = {/files/ebl-2011.pdf}
}
{%endraw%}