Add to ORKG* This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project 06-I-П14-052The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines some schemes of parallel logical inference and conditions affecting scheme choice
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...
This dissertation studies the issues raised by the parallel execution of rules in a pattern-matching...
Ho-Fung Leung.Thesis (M.Ph.)--Chinese University of Hong Kong, 1988.Bibliography: leaves [2-6], 3rd ...
Production systems, also called rule-based systems, are very useful in automating certain human expe...
Production systems, also called rule-based systems, are very useful in automating certain human expe...
In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting c...
This monography represents a number of theoretical results such as object algebra, object knowledge ...
Recently researchers have suggested several computational models in which, one programs by specifyin...
The research conducted has dealt with rule-based expert systems. The algorithms that may lead to eff...
We informally discuss several issues related to the parallel execution of logic programming systems...
A computation rule determines the order of selecting premises during an inference process. In this p...
We informally discuss several issues related to the parallel execution of logic programming systems...
The research conducted has dealt with rule-based expert systems. The algorithms that may lead to eff...
We informally discuss several issues related to the parallel execution of logic programming systems...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...
This dissertation studies the issues raised by the parallel execution of rules in a pattern-matching...
Ho-Fung Leung.Thesis (M.Ph.)--Chinese University of Hong Kong, 1988.Bibliography: leaves [2-6], 3rd ...
Production systems, also called rule-based systems, are very useful in automating certain human expe...
Production systems, also called rule-based systems, are very useful in automating certain human expe...
In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting c...
This monography represents a number of theoretical results such as object algebra, object knowledge ...
Recently researchers have suggested several computational models in which, one programs by specifyin...
The research conducted has dealt with rule-based expert systems. The algorithms that may lead to eff...
We informally discuss several issues related to the parallel execution of logic programming systems...
A computation rule determines the order of selecting premises during an inference process. In this p...
We informally discuss several issues related to the parallel execution of logic programming systems...
The research conducted has dealt with rule-based expert systems. The algorithms that may lead to eff...
We informally discuss several issues related to the parallel execution of logic programming systems...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...
This dissertation studies the issues raised by the parallel execution of rules in a pattern-matching...