Distributed problem-solving as concurrent theorem proving

This publication has 10 references indexed in Scilit:

• An alternative approach to concurrent theorem-proving
  Machine Intelligence and Pattern Recognition, 1997
• MetateM: An introduction
  Formal Aspects of Computing, 1995
• Intelligent agents: theory and practice
  The Knowledge Engineering Review, 1995
• THE CLAUSE-DIFFUSION METHODOLOGY FOR DISTRIBUTED DEDUCTION
  Fundamenta Informaticae, 1995
• The Process Group Approach to Reliable Distributed Computing
  Published by Defense Technical Information Center (DTIC) ,1991
• Distributed automated reasoning: issues in coordination, cooperation, and performance
  IEEE Transactions on Systems, Man, and Cybernetics, 1991
• Parallelism in Logic
  Published by Springer Nature ,1991
• A Structure-preserving Clause Form Translation
  Journal of Symbolic Computation, 1986
• Frameworks for Cooperation in Distributed Problem Solving
  IEEE Transactions on Systems, Man, and Cybernetics, 1981
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969