Sciweavers

Share
ATAL
2007
Springer

A framework for reasoning about rational agents

10 years 1 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. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence— Multiagent Systems; I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods—Modal logic General Terms Theory Keywords multi-agent systems, game theory, temporal logic, rationality
Wojciech Jamroga, Nils Bulling
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ATAL
Authors Wojciech Jamroga, Nils Bulling
Comments (0)
books