A Knowledge Processing Language and Its Parallel Inference System.

Cui Zhang, Qinping Zhao, Jiafu Xu

Browse the full SEKE paper archive.