Sciweavers

ATAL
2007
Springer
13 years 11 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling