A Framework for Reasoning about Rational Agents Wojciech Jamroga Department of Informatics, Clausthal University of Technology, Germany Nils Bulling Department of Informatics, Clausthal University of Technology, Germany ABSTRACT

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.

 pdflogo.jpg AAMAS07_0197_fe4aa8c3c939889291ead9ebf01f4384