Journal: J. Comput. Sci. Technol.

Volume 12, Issue 6

481 -- 496Deyi Li. Knowledge representation in KDD based on linguistic atoms
497 -- 509Yangjun Chen. Counting and topological order
510 -- 519Zengping Tian, Yujun Wang, Yunyao Qu, Baile Shi. On the expressive power of F-logic language
520 -- 531Yangyong Zhu, Depei Guo, Baile Shi. Techniques of integrating Datalog with PROLOG
532 -- 542Dianxun Shuai. Hyper-distributed hyper-parallel implementation of heuristic search of implicit AND/OR graph
543 -- 554Dianxun Shuai. Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing
555 -- 563Fangmin Song. The expansion postponement in Pure Type Systems
564 -- 570Tianzi Jiang, Songde Ma. Contour matching using wavelet transform and multigrid methods
571 -- 573Yun Wang, Guanqun Gu. Minimum QOS parameter set in transport layer