Keyphrases
- multi agent
- cooperative
- description logics
- logic programming
- multi agent systems
- multi valued
- predicate logic
- classical logic
- automated reasoning
- heterogeneous agents
- agent programming
- computational properties
- multi agent coordination
- multiple agents
- coalition formation
- data sets
- autonomous agents
- multiagent systems
- oriented programming
- team formation
- agent based simulations
- proof theory
- dynamic logic
- probabilistic planning
- agent communication
- single agent
- modal logic