Parallelism in Connection-Graph-Based Logic Inference.
Jie-Yong JuangTing-Lu HuangEd FreemanPublished in: ICPP (2) (1988)
Keyphrases
- logical inference
- deductive reasoning
- inference mechanism
- abductive reasoning
- probabilistic inference
- logic programming
- multi valued
- bayesian networks
- causal theories
- bayesian inference
- semi supervised
- modal logic
- automated reasoning
- bayesian model
- graph model
- database systems
- expert systems
- digital circuits
- classical logic
- logical framework
- defeasible logic
- conditional probabilities
- predicate logic
- logic programs
- data parallelism
- parallel computing
- shared memory
- belief networks