Intuitionistic Description Logic and Legal Reasoning

Downloads:

BibTeX:

  {%raw%}@inproceedings{publication-67,
  author = {Haeusler, Edward Hermann and dePaiva, Valeria and Rademaker, Alexandre},
  title = {Intuitionistic Description Logic and Legal Reasoning},
  booktitle = {2011 Database and Expert Systems Applications, DEXA, International Workshops},
  year = {2011},
  publisher = {IEEE Computer Society},
  address = {Toulouse},
  isbn = {9780769544861},
  doi = {10.1109/DEXA.2011.46},
  pdflink1 = {/files/dexa-dali-2011.pdf},
  slides = {/files/dexa-dali-2011-slides.pdf},
  file = {:http://doi.ieeecomputersociety.org/10.1109/DEXA.2011.46:TYPE}
}
{%endraw%}