Intuitionistic Description Logic for Legal Reasoning

Downloads:

• full text
• No slides available

BibTeX:

@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}
}