Keyphrases
- multi agent
- propositional dynamic logic
- deontic logic
- dynamic logic
- cooperative
- reinforcement learning
- multiagent systems
- automated reasoning
- proof theory
- predicate logic
- multi valued
- logic programming
- neural network
- database
- logical framework
- nonmonotonic logics
- coalition formation
- multi agent systems
- information retrieval
- leader follower