We use cookies to improve your experience with our site.

Knowledge Representation in KDD Based on Linguistic Atoms
Counting and Topological Order
On the Expressive Power of F-Logic Language
Techniques of Integrating Datalog with PROLOG
Hyper-Distributed Hyper-Parallel Implementation of Heuristic Search of Implicit AND/OR Graph
Concurrent Competitive Wave Approach to Hyper-Distributed Hyper-Parallel AI Processing
The Expansion Postponement in Pure Type Systems
Contour Matching Using Wavelet Transform and Multigrid Methods
Minimum QOS Parameter Set in Transport Layer
Current Issue Cover