Keyphrases
- bdi agents
- agent architecture
- agent programming
- multi agent systems
- agent model
- autonomous agents
- mental states
- multiagent systems
- bdi model
- belief desire intention
- intelligent agents
- software agents
- theorem prover
- multi agent
- decision making
- situation calculus
- operational semantics
- multiple agents
- agent systems
- model checking
- agent communication
- dynamic environments
- state space