Parallel-Inference Algorithms and Research of their Efficiency on Computer Systems-Reference-Cited by-同舟云学术

Parallel-Inference Algorithms and Research of their Efficiency on Computer Systems

Published:2018-12 Issue:5 Volume:45 Page:368-373
ISSN:0147-6882
Container-title:Scientific and Technical Information Processing
language:en
Short-container-title:Sci. Tech. Inf. Proc.

Author:

Vagin V. N.,Derevyanko A. V.,Kutepov V. P.

Publisher

Allerton Press

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.3103/S014768821805009X.pdf

Reference6 articles.

1. Vagin, V.N., Golovina, E.Iu., Zagorianskaia, A.A., and Fomina, M.V., Dostovernyi i pravdopodobnyi vyvod v intellektual’nykh sistemakh (Reliable and Plausible Inference in Intelligent Systems), Moscow: Fizmatlit, 2008.

2. Chen, C. and Li, R., Mathematical Logic and Automatic Theorem Proving, Moscow: Nauka, 1983.

3. Bonacina, M.P., A Taxonomy of Parallel Strategies for Deduction, AMAI, 2000, pp. 1–36.

4. Kutepov, V.P. and Kumachev, M.M., Parallel logical inference on computer systems, Sci. Tech. Inf. Process., 2013, vol. 40, no. 6, pp. 403–413.

5. Vagin, V.N., Kutepov, V.P., and Xotimcuk, K.Iu., Parallel logical output on a multi-core computer, Vestn. Mosk. Energ. Inst., 2011, no. 3, pp. 82–87.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Design of an Operating Device for a High-Performance Knowledge Processor;2024 Conference of Young Researchers in Electrical and Electronic Engineering (ElCon);2024-01-29

2. Method and Module on FPGA for Parallel Unification of Predicates;2023 Seminar on Networks, Circuits and Systems (NCS);2023-11-29

3. IMPACTS OF PHYSICAL COORDINATION TRAINING ON SPEED IN SHORT TRACK SPEED SKATING;Revista Brasileira de Medicina do Esporte;2023

4. Abductive Inference of Conclusions with Check of Additional Premises Literals Correctness Interpretation;Inventive Systems and Control;2023

5. Planning the Behavior of an Autonomous Flying Robot in a Subtask Space. Inference Procedures;Scientific and Technical Information Processing;2022-12