GOAL Agents Instantiate Intention Logic.
Koen V. HindriksWiebe van der HoekJohn-Jules Ch. MeyerPublished in: Logic Programs, Norms and Action (2012)
Keyphrases
- multi agent
- multi agent systems
- dynamic logic
- epistemic logic
- alternating time temporal logic
- autonomous agents
- intelligent agents
- multiagent systems
- software agents
- multiple agents
- cooperative
- normative systems
- logic programming
- logical framework
- coalition logic
- decision theoretic
- mobile agents
- agent model
- agent technology
- agent architecture
- dynamic environments
- incomplete information
- combinatorial auctions
- resource allocation
- single agent
- bdi agents
- distributed agents
- artificial agents
- reinforcement learning
- moral hazard
- proof theory
- modal logic
- learning agents
- classical logic
- inference rules
- trust model
- game theoretic