Tableaux for multi-agent deliberative-stit logic.
Heinrich WansingPublished in: Advances in Modal Logic (2006)
Keyphrases
- multi agent
- multi agent systems
- logical framework
- modal logic
- coalition logic
- multi agent architecture
- inference rules
- agent architecture
- autonomous agents
- sequent calculi
- decision procedures
- belief revision
- intelligent agents
- cooperative
- automated reasoning
- classical logic
- multiagent systems
- logic programming
- software agents
- reinforcement learning
- temporal logic
- proof procedure
- conditional logic
- modal operators
- functional dependencies
- probability distribution
- kripke models