Contents
Journal of Computer and System Sciences International

Vol. 35, No. 5, 1996

Simultaneous English language translation of the journal is available from /Interperiodica Publishing (Russia).
Journal of Computer and Systems Sciences International ISSN 1064-2307.

Computer Logic

Spaces of Local Objects for Semantic Interpretation of Problems. I

Yu. V. Gavrilenko and V. D. Il’in p. 687  abstract

Development of Neural Networks for Accelerating Automated Theorem Proving:
Results for the Group Theory

A. Paccanaro p. 695  abstract

The Relational Approach to Computer Representation of Linguistic Production Rules
and Inference of Decisions

R. A. Aliev and A. M. Babaev p. 702  abstract

Knowledge Engineering

Analysis of the External Behavior of a Band Automaton as the Search Problem
for a Consistent Concept System

N. A. Abramova p. 705  abstract

Context-Dependent Local Metrics and Geometrical Approach to the Problem
of Knowledge Formation

V. A. Dyuk p. 715  abstract

Optimization of Production Knowledge Base with Respect to Certainty and Duration of Inference

B. P. Kuznetsov p. 723  abstract

On a Certain Approach to “Risk-in-Risk” Estimator

S. K. Dulin and R. V. Samokhvalov p. 729  abstract

Soft Computation

Generation of an Optimal Path in the State Space of a Complex Technical System under Conditions
of the Incompleteness of Initial Information

D. P. Mikhalyuk, A. V. Suvorov, V. V. Yashchenko, and N. Yu. Yashchenko p. 738  abstract

Application of Fuzzy Numbers to Power Supply Problems

V. G. Sazykin p. 743  abstract

Interpretation of Dependences by Means of Analysis of the Topology of Learned Neural Network:
What Is the Result of Learning?

L. M. Dolmatova p. 748  abstract

Tutoring Systems

An Approach to Flexible Teaching System Design

M. V. Dyakin, D. A. Podorozhnyi, and M. V. Sapir p. 753  abstract

On the Development of an Intelligent Tutoring System

E. Yu. Golovina and N. V. Chibizova p. 761  abstract

Teaching as a Multistep Discrete Process of Control with Fuzzy Parameters

B. V. Nikichkin and N. I. Tsukanova p. 768  abstract

New Technologies in Organization of Computational Process

On Intelligent Computers and Large Computer Systems of the New Generation

V. P. Kutepov p. 772  abstract

Language of Asynchronous Functional Circuits and Its Operational Semantics

Yu. P. Korablin p. 785  abstract

Definition and Properties of a Computational Model with Shared Informational Resources

A. S. Semenov p. 795  abstract

Realization of Boolean Formulas by Uniform Multiplexor and Majority Cascades

V. L. Artyukhov and A. A. Shalyto p. 802  abstract

Expert Systems and Intelligent Control

Problems of the Development of On-Board Real-Time Advisory Expert Systems for Antropocentral Objects

B. E. Fedunov p. 816  abstract

Linguistic Processor of an Expert System for Building Design

M. F. Korshenko and N. G. Likhogrud p. 828  abstract

Intelligent Control in Local Radio Network of Information Transmission

G. N. Valaev, V. A. Voitsekyan, and V. N. Zakharov p. 838  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.