Distributed automated reasoning: issues in coordination, cooperation, and performance
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 21 (6) , 1307-1316
- https://doi.org/10.1109/21.135677
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- PARTHENON: A parallel theorem prover for non-horn clausesPublished by Springer Nature ,2005
- The performance of parallel Prolog programsIEEE Transactions on Computers, 1990
- Functionally Accurate, Cooperative Distributed SystemsIEEE Transactions on Systems, Man, and Cybernetics, 1981
- An Organizational View of Distributed SystemsIEEE Transactions on Systems, Man, and Cybernetics, 1981
- The Scientific Community MetaphorIEEE Transactions on Systems, Man, and Cybernetics, 1981
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965