Consistent Hybrid Knowledge Representation in Order-Sorted Logic

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.

Abstract

Abstract is missing.