A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
Comparison of Natural Deduction and Locking Resolution Implementations
Proceedings of the 6th Conference on Automated Deduction
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Hi-index | 0.00 |
This paper investigates the effects of parallelism on blackboard system scheduling. A parallel blackboard system is described that allows multiple knowledge source instantiations to execute in parallel using a shared-memory blackboard approach. New classes ...