Keyphrases
- dynamic logic
- reasoning about actions
- robotic agents
- multi agent systems
- multi agent
- action selection
- action language
- joint action
- programming language
- multiagent systems
- oriented programming
- agent programming
- agent communication
- multiple agents
- software agents
- intelligent agents
- dynamic environments
- autonomous agents
- logical language
- natural language
- cooperative
- agent systems
- complex environments
- communicative acts
- mobile agents
- agent receives
- external world
- decision making
- logical framework
- single agent
- language learning
- predicate calculus
- logical structure
- speech acts
- sensing actions
- situation calculus
- lambda calculus
- resource allocation
- modal logic