Proceedings of the 4th International Workshop on Strategic Reasoning

2016/07/10 by Alessio Lomuscio, Moshe Y. Vardi · 3 citations
Computer Science · #cs.LO

paper · pdf · doi:10.4204/eptcs.218

published as EPTCS 218, 2016

arxiv created 2016/07/10 · arxiv updated 2016/07/12

Abstract

This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of logic, verification, games and equilibria. More information about the Strategic Workshop series is available at http://www.strategicreasoning.net/

Cited by

• Rational Verification in Iterated Electric Boolean Games
• Extended Graded Modalities in Strategy Logic
• Representing Strategies
• Extending Finite Memory Determinacy to Multiplayer Games

Related

• Proceedings 2nd International Workshop on Strategic Reasoning
• Proceedings 1st International Workshop on Strategic Reasoning
• Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
• Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
• TMGBench: A Systematic Game Benchmark for Evaluating Strategic Reasoning Abilities of LLMs