Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
A Modal Logic for Joint Abilities under Strategy Commitments
Authors: Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi
IJCAI 2020 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We analyze valid formulas in JAADL, give sufficient/necessary conditions for joint abilities, and show that model checking memoryless JAADL is in EXPTIME. |
| Researcher Affiliation | Academia | 1Dept. of Computer Science, Sun Yat-sen University, Guangzhou 510006, China 2Dept. of Computer Science, South China Normal University, Guangzhou 510631, China 3Dept. of Electrical Engineering and Computer Science, York University, Toronto, ON M3J 1P3, Canada |
| Pseudocode | Yes | Algorithm 1 Labeling State Space, Algorithm 2 Model-Checking Path Formulas, Algorithm 3 Calculating Reduced Strategy Space |
| Open Source Code | No | The paper does not provide any explicit statements about releasing source code or links to a code repository. |
| Open Datasets | No | The paper uses illustrative examples (e.g., 'Three-player Collaborative PRS', 'The Traffic Rule Example', 'Autonomous Cars', 'The Squirrels World') rather than empirical datasets used for training or evaluation. No public dataset information is provided. |
| Dataset Splits | No | The paper focuses on theoretical analysis and illustrative examples; therefore, no specific dataset split information (including validation splits) is provided. |
| Hardware Specification | No | The paper does not specify any hardware used for running experiments or simulations. |
| Software Dependencies | No | The paper does not provide specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and focuses on logical framework development and analysis. It does not describe any experiments that would require hyperparameters or training settings. |