Nwe Ni Tun, Satoshi Tojo. Consistent Hybrid Knowledge Representation in Order-Sorted Logic. In Ali Okatan, editor, International Conference on Computational Intelligence, ICCI 2004, December 17-19, 2004, Istanbul, Turkey, Proceedings. pages 349-353, International Computational Intelligence Society, 2004.
@inproceedings{TunT04:0,
title = {Consistent Hybrid Knowledge Representation in Order-Sorted Logic},
author = {Nwe Ni Tun and Satoshi Tojo},
year = {2004},
tags = {logic},
researchr = {https://researchr.org/publication/TunT04%3A0},
cites = {0},
citedby = {0},
pages = {349-353},
booktitle = {International Conference on Computational Intelligence, ICCI 2004, December 17-19, 2004, Istanbul, Turkey, Proceedings},
editor = {Ali Okatan},
publisher = {International Computational Intelligence Society},
isbn = {975-98458-1-4},
}