top

A correspondence theory for terminological logics

K. Schild. A correspondence theory for terminological logics. In Proceedings of the 12th IJCAI, pp. 466–471, 1991.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{schild91,
  author = {K. Schild},
  title = {A correspondence theory for terminological logics},
  booktitle = {Proceedings of the 12th IJCAI},
  year = {1991},
  pages = {466--471},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33