Using Intuitionistic Logic as a basis for Legal Ontologies

Downloads:

BibTeX:

  {%raw%}@inproceedings{publication-35,
  author = {Haeusler, Edward Hermann and dePaiva, Valeria and Rademaker, Alexandre},
  title = {Using Intuitionistic Logic as a basis for Legal Ontologies},
  booktitle = {Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques},
  year = {2010},
  publisher = {European University Institute},
  address = {Fiesole (Florence)},
  pdflink1 = {/files/loait2010-article.pdf},
  slides = {/files/loait2010-slides.pdf},
  file = {:http://ceur-ws.org/Vol-605:TYPE}
}
{%endraw%}