No. Title Author Year
1 Giving Instructions in Linear Temporal Logic Gutierrez, Julian et al. 2022
2 The Logic of Rational Agency (Dagstuhl Seminar 02041) van der Hoek, Wiebe et al. 2021
3 Equilibrium Design for Concurrent Games Gutierrez, Julian et al. 2019
4 Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) Chaudhuri, Swarat et al. 2017
5 Nash Equilibrium and Bisimulation Invariance Gutierrez, Julian et al. 2017
6 Expresiveness and Complexity Results for Strategic Reasoning Gutierrez, Julian et al. 2015
7 Robust Normative Systems Agotnes, Thomas et al. 2009
8 On the Logic of Normative Systems Ã…gotnes, Thomas et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI