An Intuitionisticaly based Description Logic

Downloads:

• full text
• No slides available

BibTeX:

@techreport{ialc-arxiv,
  author = {Haeusler, Edward Hermann and Rademaker, Alexandre},
  title = {An Intuitionisticaly based Description Logic},
  institution = {Arxiv},
  year = {2014},
  month = may,
  pdflink1 = {http://arxiv.org/abs/1402.0225}
}