Reasoning about Agent Programs using ATL-like Logics
Nitin YadavSebastian SardiñaPublished in: CoRR (2012)
Keyphrases
- multi agent systems
- agent programming
- practical reasoning
- autonomous agents
- cognitive agents
- intelligent agents
- multi agent
- epistemic logic
- dynamic logic
- software agents
- rational agents
- modal logic
- temporal logic
- agent architecture
- agent systems
- nonmonotonic logics
- agent oriented
- agent technology
- multiagent systems
- modal operators
- expressive power
- spatial reasoning
- cooperative
- propositional dynamic logic
- multiple agents
- default logic
- situation calculus
- mobile agents
- social welfare
- computer programs
- conditional logic
- pedagogical agents
- agent model
- inference rules
- search algorithm