Title: A Framework for Reasoning about Rational Agents
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology
   Nils Bulling, Computational Intelligence Group, Clausthal University of Technology

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.

Keywords: multi-agent systems, game theory, temporal logic, rationality.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2007-05-22