publications:
- title: "Intuitionistic Logic and Legal Ontologies"
  author:
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Alexandre Rademaker"
    link: "http://arademaker.github.com/"
  year: "2010"
  doi: "http://dx.doi.org/10.3233/978-1-60750-681-2-155"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-681-2-155"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jurix/HaeuslerPR10"
  tags:
  - "ontologies"
  - "ontology"
  - "logic"
  researchr: "https://researchr.org/publication/HaeuslerPR10"
  cites: 0
  citedby: 0
  pages: "155-158"
  booktitle: "Legal Knowledge and Information Systems - JURIX 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Liverpool, UK, 16-17 December 2010"
  editor:
  - name: "Radboud Winkels"
    link: "https://researchr.org/alias/radboud-winkels"
  volume: "223"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-60750-681-2"
  kind: "inproceedings"
  key: "HaeuslerPR10"
- title: "Constructive Description Logics Hybrid-Style"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "Alexandre Rademaker"
    link: "http://arademaker.github.com/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.010"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/PaivaHR11"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PaivaHR11"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "273"
  pages: "21-31"
  kind: "article"
  key: "PaivaHR11"