GOAL Agents Instantiate Intention Logic.
Koen V. HindriksWiebe van der HoekPublished in: Programming Multi-Agent Systems (2008)
Keyphrases
- multi agent systems
- multi agent
- alternating time temporal logic
- dynamic logic
- logical framework
- epistemic logic
- multiagent systems
- intelligent agents
- cooperative
- modal logic
- autonomous agents
- software agents
- multiple agents
- dynamic environments
- agent architecture
- agent systems
- bdi agents
- incomplete information
- mobile agents
- logic programming
- normative systems
- agent programming
- artificial agents
- learning agents
- classical logic
- resource allocation
- game theoretic
- trust model