A logical description of strategizing in social network games R Das, R Ramanujam Logics for New-Generation AI, 107, 2021 | 5 | 2021 |
Reasoning about social choice and games in monadic fixed-point logic R Das, R Ramanujam, S Simon arXiv preprint arXiv:1907.09100, 2019 | 4 | 2019 |
Reasoning in large games with unboundedly many players R Das, A Padmanabha, R Ramanujam Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 2 | 2021 |
A Logical Description of Priority Separable Games R Das, R Ramanujam, S Simon International Workshop on Logic, Rationality and Interaction, 31-46, 2023 | 1 | 2023 |
A Logical Study of the Improvement Graphs formed from Games [HBNI Th234] R Das The Institute of Mathematical Sciences, 2024 | | 2024 |
Implicit quantification for modal reasoning in large games R Das, A Padmanabha, R Ramanujam Synthese 201 (5), 163, 2023 | | 2023 |
Implicit quantification for modal reasoning in large games R Ramanujam, A Padmanabha, R Das | | 2023 |
A Logical Study of the Improvement Graphs formed from Games R Das Mumbai, 0 | | |