GOAL Agents Instantiate Intention Logic.
Koen V. HindriksWiebe van der HoekPublished in: JELIA (2008)
Keyphrases
- multi agent systems
- multi agent
- dynamic logic
- logical framework
- alternating time temporal logic
- cooperative
- epistemic logic
- bdi agents
- multiagent systems
- multiple agents
- autonomous agents
- artificial agents
- agent architecture
- normative systems
- distributed agents
- logic programming
- dynamic environments
- software agents
- multi valued
- agent systems
- decision making
- intelligent agents
- model checking
- artificial intelligence
- incomplete information
- learning agents
- probabilistic logic
- single agent
- agent programming
- interacting agents
- agent model
- agent technology