Reasoning about Agent Programs Using ATL-Like Logics.
Nitin YadavSebastian SardiñaPublished in: JELIA (2012)
Keyphrases
- multi agent systems
- agent programming
- multi agent
- practical reasoning
- dynamic logic
- intelligent agents
- autonomous agents
- modal operators
- multiagent systems
- cognitive agents
- temporal logic
- modal logic
- epistemic logic
- agent systems
- multiple agents
- agent architecture
- software agents
- model checking
- agent technology
- agent model
- decision making
- rational agents
- cooperative
- situation calculus
- expressive power
- agent oriented
- game theory
- mobile agents
- dynamic environments
- artificial agents
- formal theory
- inference rules