Keyphrases
- modal logic
- dynamic logic
- epistemic logic
- situation calculus
- multiple agents
- reasoning about actions
- multi agent systems
- inference rules
- decision theoretic
- temporal logic
- multi agent
- agent behavior
- kripke models
- action selection
- interacting agents
- classical logic
- nonmonotonic logics
- multiagent reinforcement learning
- rational agents
- multiagent systems
- conditional logic
- intelligent agents
- default logic
- agent architecture
- modal operators
- intelligent behavior
- agent receives
- joint action
- explicitly represent
- cooperative
- action theories
- cognitive agents
- logical framework
- initial state
- autonomous agents
- communicative acts
- description logic alc
- autoepistemic logic
- software agents
- explanation based generalization
- mobile agents
- agent model
- model checking
- logic programming
- knowledge representation