Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Fast planning through planning graph analysis
Artificial Intelligence
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Extensive Games as Process Models
Journal of Logic, Language and Information
Satisfiability in Alternating-time Temporal Logic
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the logic of coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Model checking knowledge, strategies, and games in multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Alternating-time temporal logics with irrevocable strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A framework for reasoning about rational agents
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Formal Framework of Conversational Goals Based on Strategic Reasoning
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Reasoning about coalitional games
Artificial Intelligence
A Logic for Reasoning about Rational Agents
Computational Logic in Multi-Agent Systems
Social Viewpoints for Arguing about Coalitions
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Strategic Agent Communication: An Argumentation-Driven Approach
Declarative Agent Languages and Technologies VI
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
Markovian workload modeling for Enterprise Application Servers
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Dynamic restriction of choices: a preliminary logical report
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Goal specification, non-determinism and quantifying over policies
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Stability under Strategy Switching
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using $\mathcal{C}$
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Epistemic games in modal logic: joint actions, knowledge and preferences all together
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An update operator for strategic ability
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
A characterization of mixed-strategy Nash equilibria in PCTL augmented with a cost quantifier
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
A logic for reasoning about counterfactual emotions
Artificial Intelligence
Dynamic restriction of choices: synthesis of societal rules
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An Epistemic Logic of Extensive Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Games, Actions and Social Software
Strategies in games: a logic-automata study
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of other participants in the scenario, and, in particular, how the agent's choice of strategy will affect the choices of others. We present CATL, a logic that is intended to facilitate such reasoning. CATL is an extension of Alternating-time Temporal Logic (ATL), which supports reasoning about the abilities of agents and their coalitions in game-like multi-agent systems. CATL extends ATL with a ternary counterfactual commitment operator of the form Ci(σ, φ), with the intended reading "if it were the case that agent i committed to strategy σ, then φ". By using this operator in combination with the ability operators of ATL, it is possible to reason about the implications of different possible choices by agents. We illustrate the approach by showing how CATL may be used to express properties of games such as Nash equilibrium and Pareto efficiency. We also show that the model checking problem for CATL is tractable, and hence that efficient implementations of strategic reasoners based on CATL are feasible.