Parallel inference search in logical calculus based on the algebraic programming system

Authors:
A. A. Letichevsky;V. N. German;M. K. Morokhovets;N. N. Shchogoleva
Affiliations:
V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2010

Citing 4
Cited 0

PARTHEO: a high-performance parallel theorem prover

CADE-10 Proceedings of the tenth international conference on Automated deduction
Computations in APS

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Parallel algorithms for unification and other complete problems in p

ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Parallel processing of resolution

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software for parallel inference search in propositional calculus is described and used to obtain experimental results. The software is based on the APS algebraic programming system and SCIT-1 cluster complex.