Keyphrases
- agent programming
- situation calculus
- agent systems
- logic programming language
- operational semantics
- mental states
- multi agent
- game theoretic
- programming language
- partial observability
- dynamic logic
- specification language
- dynamic environments
- language learning
- logic programming
- control program
- language processing
- reasoning about actions
- formal semantics
- agent model
- agent technology
- multi agent systems