A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI - Extended version of Tableaux13 paper (bibtex)
by M. Khodadadi, R. A. Schmidt, and D. Tishkovsky
Reference:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI - Extended version of Tableaux13 paper (M. Khodadadi, R. A. Schmidt, and D. Tishkovsky), Technical report, Department of Computer Science, The University of Manchester, 2013.
Bibtex Entry:
@TECHREPORT{tableauLong,
AUTHOR = {M.~Khodadadi, R.~A. Schmidt, and D.~Tishkovsky},
YEAR = {2013},
INSTITUTION =   {Department of Computer Science, The University of Manchester},
ADDRESS =       {Manchester, United Kingdom},
TITLE = {A Refined Tableau Calculus with Controlled Blocking for
               the Description Logic SHOI - Extended version of Tableaux13 paper},
YEAR= {2013},
MONTH =         {August},
AUTHOR1_URL =   {http://www.cs.man.ac.uk/~khodadam/},
AUTHOR1_EMAIL = {khodadam@cs.man.ac.uk},
URL = {papers/controlled.pdf}
}
Powered by bibtexbrowser