Sciweavers

CLIMA
2007
14 years 10 days ago
A Logic for Reasoning about Rational Agents
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
Wojciech Jamroga, Nils Bulling