An Automated Reasoning System for Multi-Agent Cooperation.
Lifeng HeHirohisa SekiHidenori ItohPublished in: IEA/AIE (1996)
Keyphrases
- automated reasoning
- multi agent cooperation
- multi agent systems
- multi agent
- reasoning systems
- game theory
- theorem prover
- theorem proving
- knowledge representation
- reasoning tasks
- probabilistic reasoning
- decision procedures
- cooperative problem solving
- automated verification
- cooperative
- knowledge representation and reasoning
- autonomous agents
- inference rules
- general purpose
- neural network
- propositional satisfiability
- high level