Overview: Strategic reasoning is one of the most active research areas in multi-agent system domains. The literature provides a plethora of logics for modeling strategic ability. Theoretical results from this workshop series have been used in software tools for information system security, robot teams with adaptive strategies, and autonomous algorithmic governance.
This page serves as a bibliographic archive of the academic activities, calls for papers, and research networks associated with the SR workshops between 2013 and 2018.
This page serves as a bibliographic archive of the academic activities, calls for papers, and research networks associated with the SR workshops between 2013 and 2018.
Institutional Citations & Exact Source References
The research presented at SR has been supported, hosted, or cited by the following institutions. Below are the exact archival records linking to the Strategic Reasoning workshops.
-
ENS Paris-Saclay - LSV (Laboratoire Spécification et Vérification)
Official edition archive and organization page for SR 2018.https://projects.lsv.ens-paris-saclay.fr/sr18/
-
IRISA / Université de Rennes
Publications and academic committee records by Sophie Pinchinat (SR 2014).https://people.irisa.fr/Sophie.Pinchinat/Publications.html
-
INRIA Rennes
Institutional mirror for Sophie Pinchinat's research publications on Strategic Reasoning.https://people.rennes.inria.fr/Sophie.Pinchinat/Publications.html
-
CISPA Helmholtz Center for Information Security
Reactive Systems Group publication: "Lossy Channel Games under Incomplete Information" (SR 2013).https://finkbeiner.groups.cispa.de/publications/2013-lossy-channel-games-under-incomplete-information/
-
CNRS - LMF (Laboratoire Méthodes Formelles)
PC Memberships and conference archives by Patricia Bouyer.https://lmf.cnrs.fr/PatriciaBouyer/PC-confs
-
University of Liverpool
Official hosting and archives for the SR 2017 Edition.https://sr2017.csc.liv.ac.uk/
-
ETAPS - European Joint Conferences on Theory and Practice of Software
Official list of associated workshops for the 2014 symposium.https://www.etaps.org/2014/workshops.html
-
University of Oxford (UK)
Department of Computer Science: Research activities by Prof. David Parker.https://www.cs.ox.ac.uk/people/david.parker/
-
Stockholm University (Sweden)
Department of Philosophy: Publications on logics for strategic reasoning by V. Goranko.https://www2.philosophy.su.se/goranko/publications.html
-
Technical University of Denmark (DTU)
Research output: "How to Be Both Rich and Happy: Combining Quantitative and Qualitative..."https://orbit.dtu.dk/en/publications/how-to-be-both-rich-and-happy-combining-quantitative-and-qualitat/
-
UNSW Sydney (Australia)
School of Computer Science and Engineering: Academic activities by Prof. Toby Walsh.https://cgi.cse.unsw.edu.au/~tw/
-
Chalmers University of Technology (Sweden)
Department of Computer Science and Engineering: Research activities by Nir Piterman.https://www.cse.chalmers.se/~piterman/
-
INFN Napoli (Italy)
Recent publications and workshop records by Aniello Murano.https://people.na.infn.it/~murano/pubblicazioni.html