A framework for reasoning about rational agents

Authors:
Wojciech Jamroga;Nils Bulling
Affiliations:
Clausthal University of Technology, Germany;Clausthal University of Technology, Germany
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 8
Cited 8

Distributed rational decision making

Multiagent systems
Alternating-time temporal logic

Journal of the ACM (JACM)
Preferences in Game Logics

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A knowledge-based framework for belief change part I: foundations

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A computationally grounded logic of knowledge, belief and certainty

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logic for strategic reasoning

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Intentions and strategies in game-like scenarios

EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence

Agents, beliefs, and plausible behavior in a temporal setting

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Modelling coalitions: ATL + argumentation

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Knowledge and Strategic Ability for Model Checking: A Refined Approach

MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
A Logic for Reasoning about Rational Agents

Computational Logic in Multi-Agent Systems
An Argumentative Approach for Modelling Coalitions Using ATL

Argumentation in Multi-Agent Systems
Reasoning about temporal properties of rational play

Annals of Mathematics and Artificial Intelligence
Reasoning about agent programs using ATL-Like logics

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Using strategic logics to reason about agent programs

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.