Parallel inference search in logical calculus based on the algebraic programming system
From MaRDI portal
Publication:2452767
DOI10.1007/s10559-010-9243-9zbMath1288.68292OpenAlexW2024042772MaRDI QIDQ2452767
V. N. German, N. N. Shchogoleva, Alexander Letichevsky, Marina K. Morokhovets
Publication date: 5 June 2014
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-010-9243-9
clusterparallel computingevidence algorithminference searchrewriting rulesalgebraic programming system
Symbolic computation and algebraic computation (68W30) Parallel algorithms in computer science (68W10)
Uses Software
Cites Work