We use cookies to improve your experience with our site.

Functional Knowledge Representation Based on Problem Reduction
On the Complexities of Non-Horn Clause Logic Programming
The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network
DKLFRS:A Default Knowledge Logical Framework Representation System
Improvements on Certainty Factor Model and Its Application to Conflict Resolution in CDPS
Specification Language NUJSL Based on JSP and Its Supporting System
Probabilistic Models for Estimation of Random and Pseudo-Random Test Length
A Multiple-Valued Algebra for Modeling MOS VLSI Circuits at Switch-Level
A Theory for the Initial Allocating of Real Time Tasks in Distributed Systems
The Decomposition of Belief Function
A Generalization of Circumscription
Current Issue Cover