Keyphrases
- multi agent decision making
- reasoning systems
- multi agent systems
- case study
- model checking
- qualitative reasoning
- automated reasoning
- knowledge representation
- spatial reasoning
- decision making
- temporal logic
- search algorithm
- knowledge base
- information technology
- knowledge management
- reasoning process
- correlated equilibrium