We use cookies to improve your experience with our site.
Advanced Search

A Generalization of Circumscription
Lin Zuoquan, Shi Chunyi
1992, 7(2): 97-104.
Abstract
Functional Knowledge Representation Based on Problem Reduction
Gao Ji
1992, 7(2): 105-113.
Abstract
On the Complexities of Non-Horn Clause Logic Programming
Nie Xumin
1992, 7(2): 114-122.
Abstract
The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network
Gao Quanquan, Lu Ruqian, Cao Hua, Zhang Songmao
1992, 7(2): 123-135.
Abstract
DKLFRS:A Default Knowledge Logical Framework Representation System
Fan Zhongchun, Xing Hancheng
1992, 7(2): 136-142.
Abstract
Improvements on Certainty Factor Model and Its Application to Conflict Resolution in CDPS
Wang Hui, Liu Dayou
1992, 7(2): 143-152.
Abstract
Specification Language NUJSL Based on JSP and Its Supporting System
Xu Yongsen, He Biao
1992, 7(2): 153-163.
Abstract
Probabilistic Models for Estimation of Random and Pseudo-Random Test Length
Xiang Dong, Wei Daozheng, Chen Shisong
1992, 7(2): 164-174.
Abstract
A Multiple-Valued Algebra for Modeling MOS VLSI Circuits at Switch-Level
Hu Mou
1992, 7(2): 175-184.
Abstract
A Theory for the Initial Allocating of Real Time Tasks in Distributed Systems
Yan Yong, Jin Canming
1992, 7(2): 185-188.
Abstract
The Decomposition of Belief Function
Zheng Fangqing
1992, 7(2): 189-192.
Abstract