Distributed automated reasoning: issues in coordination, cooperation, and performance.
Douglas J. MacIntoshSusan E. ConryRobert A. MeyerPublished in: IEEE Trans. Syst. Man Cybern. (1991)
Keyphrases
- automated reasoning
- cooperative
- distributed problem solving
- multi agent
- reasoning systems
- knowledge representation
- reasoning tasks
- theorem proving
- theorem prover
- distributed agents
- decision procedures
- automated verification
- probabilistic reasoning
- information sharing
- multi agent systems
- knowledge representation and reasoning
- distributed systems
- information exchange
- propositional satisfiability
- multi agent coordination
- multiagent systems
- mobile agents
- artificial neural networks
- high level