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

DOI10.1007/S10559-010-9243-9zbMATH Open1288.68292OpenAlexW2024042772MaRDI QIDQ2452767FDOQ2452767

Authors: V. N. German, N. N. Shchogoleva, A. A. Letichevskij, 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

Recommendations

• A system of parallel inference with the use of a connection graph
• Parallelism in deductive inference on graph structures
• scientific article; zbMATH DE number 4164187
• A parallel approach for theorem proving in propositional logic
• scientific article; zbMATH DE number 3945375

zbMATH Keywords

clusterparallel computingevidence algorithminference searchrewriting rulesalgebraic programming system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Parallel algorithms in computer science (68W10)

Cites Work

• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• Computations in APS
• Deductive tools of an algebraic programming system

Cited In (6)

• On some strategies of logical inference search that are driven by goals
• Title not available (Why is that?)
• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• Title not available (Why is that?)
• A logic programming system based on cortege algebra
• Title not available (Why is that?)

Uses Software

• APS-1
• APS
• PARTHEO

This page was built for publication: Parallel inference search in logical calculus based on the algebraic programming system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452767)