Keyphrases
- linear logic
- agent programming
- fixed point
- game theoretic
- multi agent
- situation calculus
- desirable properties
- logic programming
- dynamic logic
- agent systems
- mental states
- logical framework
- operational semantics
- partial observability
- sequent calculus
- inference rules
- resource allocation
- cooperative
- control program
- reinforcement learning