Parallelism in Deductive Inference on Graph Structures

Authors:
A. I. Averin;V. N. Vagin
Affiliations:
Moscow State Power Engineering Institute (Technical University), Moscow, Russia;Moscow State Power Engineering Institute (Technical University), Moscow, Russia
Venue:
Automation and Remote Control
Year:
2001

Citing 5
Cited 0

Schubert's steamroller problem: formulations and solutions

Journal of Automated Reasoning
A Proof Procedure Using Connection Graphs

Journal of the ACM (JACM)
Parallel Inference on Logical Networks

Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning
A Parallel Connection Graph Proof Procedure

GWAI '81 Proceedings of the German Workshop on Artificial Intelligence
Theoretical and implementational aspects of parallel link resolution in connection graphs (commutativity, dcdp parallelism, dc)

Theoretical and implementational aspects of parallel link resolution in connection graphs (commutativity, dcdp parallelism, dc)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Practical realization of the methods of parallel inference on connection graphs and semantic networks in the first-order predicate logic is described. A system of parallel inference with the “steamroller” test is studied and inference results are analyzed.