Using Strategic Logics to Reason about Agent Programs.
Nitin YadavSebastian SardiñaPublished in: IJCAI (2013)
Keyphrases
- decision making
- multi agent
- multiagent systems
- multi agent systems
- agent programming
- intelligent agents
- software agents
- agent technology
- case study
- dynamic logic
- multiple agents
- modal logic
- inference rules
- expressive power
- agent systems
- dynamic environments
- autonomous agents
- agent model
- decision theoretic
- agent oriented
- mobile agents
- answer sets
- pedagogical agents
- action selection
- classical logic
- conditional logic
- artificial agents