Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
How to clear a block: A theory of plans
Journal of Automated Reasoning
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
Proceedings of the 10th International Conference on Automated Deduction
CM-strategy: a methodology for inductive theorem proving or constructive well-generalized proofs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
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 ...