Automatic Verification of isa Relations Based on Features

Lei Liu, Sen Zhang, Lu Hong Diao, Shuying Yan, Cungen Cao. Automatic Verification of isa Relations Based on Features. In Yixin Chen, Hepu Deng, Degan Zhang, Yingyuan Xiao, editors, FSKD 2009, Sixth International Conference on Fuzzy Systems and Knowledge Discovery, Tianjin, China, 14-16 August 2009, 6 Volumes. pages 70-74, IEEE Computer Society, 2009. [doi]

@inproceedings{LiuZDYC09-1,
  title = {Automatic Verification of  isa  Relations Based on Features},
  author = {Lei Liu and Sen Zhang and Lu Hong Diao and Shuying Yan and Cungen Cao},
  year = {2009},
  doi = {10.1109/FSKD.2009.498},
  url = {http://doi.ieeecomputersociety.org/10.1109/FSKD.2009.498},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/LiuZDYC09-1},
  cites = {0},
  citedby = {0},
  pages = {70-74},
  booktitle = {FSKD 2009, Sixth International Conference on Fuzzy Systems and Knowledge Discovery, Tianjin, China, 14-16 August 2009, 6 Volumes},
  editor = {Yixin Chen and Hepu Deng and Degan Zhang and Yingyuan Xiao},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3735-1},
}